diff options
| author | George Fraser <george@fivetran.com> | 2019-01-01 23:25:43 -0800 |
|---|---|---|
| committer | George Fraser <george@fivetran.com> | 2019-01-01 23:25:43 -0800 |
| commit | b460d083c61cb9cd28b841abc0d58a591e82eef9 (patch) | |
| tree | 5eda0638d709132b14e1ea22e571ad491cced71f | |
| parent | 1da35454ef779f989452ac1bb3acc5feba002a40 (diff) | |
| download | java-language-server-b460d083c61cb9cd28b841abc0d58a591e82eef9.zip | |
Fewer notifications
| -rw-r--r-- | src/main/java/org/javacs/JavaLanguageServer.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/javacs/JavaLanguageServer.java b/src/main/java/org/javacs/JavaLanguageServer.java index 2218b8c..0a442ba 100644 --- a/src/main/java/org/javacs/JavaLanguageServer.java +++ b/src/main/java/org/javacs/JavaLanguageServer.java @@ -1074,7 +1074,7 @@ class JavaLanguageServer extends LanguageServer { if (needsUpdate.isEmpty()) return; // If there's more than 1 file, report progress - if (needsUpdate.size() > 1) { // TODO this could probably be tuned to be higher and based on bytes of code + if (needsUpdate.size() > 10) { // TODO this could probably be tuned to be based on bytes of code progress.start(String.format("Index %d files", needsUpdate.size())); } else { progress = ReportProgress.EMPTY; |