diff options
| author | Mickael Istria | 2019-11-12 10:53:35 +0000 |
|---|---|---|
| committer | Mickael Istria | 2019-11-12 10:54:49 +0000 |
| commit | 10d3d23a9124232a1bb78b7bd5f9b364a7a539ff (patch) | |
| tree | 651bc6dbaf2668254ad6eb4d4d21d9a028bca16c /org.eclipse.text.quicksearch | |
| parent | 3568f7207d32d5170ac4ac805d6cdb8ab6ffc83d (diff) | |
| download | eclipse.platform.text-10d3d23a9124232a1bb78b7bd5f9b364a7a539ff.tar.gz eclipse.platform.text-10d3d23a9124232a1bb78b7bd5f9b364a7a539ff.tar.xz eclipse.platform.text-10d3d23a9124232a1bb78b7bd5f9b364a7a539ff.zip | |
Bug 552935 - Shorter timeout for QuickSearh in Find Actions
Change-Id: Icdb528818fab71b7345970353f2bad005d0dbd31
Signed-off-by: Mickael Istria <mistria@redhat.com>
Diffstat (limited to 'org.eclipse.text.quicksearch')
| -rw-r--r-- | org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchQuickAccessComputer.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchQuickAccessComputer.java b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchQuickAccessComputer.java index d2c190f8562..de6b1d618bc 100644 --- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchQuickAccessComputer.java +++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchQuickAccessComputer.java @@ -34,6 +34,7 @@ import org.eclipse.ui.texteditor.ITextEditor; public class QuickSearchQuickAccessComputer extends QuickTextSearchRequestor implements IQuickAccessComputer, IQuickAccessComputerExtension { private static final int MAX_ENTRIES = 20; + private static final long TIMEOUT = 200; private PriorityFunction priorities; public QuickSearchQuickAccessComputer() { @@ -58,7 +59,7 @@ public class QuickSearchQuickAccessComputer extends QuickTextSearchRequestor imp searcher.setMaxResults(MAX_ENTRIES); searcher.setQuery(new QuickTextQuery(query, false), true); long start = System.currentTimeMillis(); - while (matches.size() < 20 && !searcher.isDone() && System.currentTimeMillis() - start < 3000) { + while (matches.size() < 20 && !searcher.isDone() && System.currentTimeMillis() - start < TIMEOUT) { try { Thread.sleep(100); } catch (InterruptedException e) { |