mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
notnull
This commit is contained in:
+3
-2
@@ -1,5 +1,5 @@
|
||||
/*
|
||||
* Copyright 2000-2013 JetBrains s.r.o.
|
||||
* Copyright 2000-2014 JetBrains s.r.o.
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
@@ -53,6 +53,7 @@ import com.intellij.psi.PsiJavaFile
|
||||
import com.intellij.psi.statistics.StatisticsManager
|
||||
import com.intellij.psi.statistics.impl.StatisticsManagerImpl
|
||||
import com.intellij.util.containers.ContainerUtil
|
||||
import org.jetbrains.annotations.NotNull
|
||||
|
||||
import java.awt.event.KeyEvent
|
||||
/**
|
||||
@@ -547,7 +548,7 @@ public interface Test {
|
||||
|
||||
static class LongReplacementOffsetContributor extends CompletionContributor {
|
||||
@Override
|
||||
void duringCompletion(CompletionInitializationContext cxt) {
|
||||
void duringCompletion(@NotNull CompletionInitializationContext cxt) {
|
||||
Thread.sleep 500
|
||||
ProgressManager.checkCanceled()
|
||||
cxt.replacementOffset--;
|
||||
|
||||
Reference in New Issue
Block a user