diff --git a/build.gradle b/build.gradle index 2d6959fd4c72..f77771dad1ed 100644 --- a/build.gradle +++ b/build.gradle @@ -543,7 +543,7 @@ task deleteInstallerTemp(type: Delete) { jpackage.dependsOn deleteInstallerTemp jlink { - options = ['--strip-debug','--compress', '2', '--no-header-files', '--no-man-pages'] + options = ['--compress', '2', '--no-header-files', '--no-man-pages'] launcher { name = 'JabRef' } diff --git a/src/main/java/org/jabref/gui/autocompleter/AutoCompletionTextInputBinding.java b/src/main/java/org/jabref/gui/autocompleter/AutoCompletionTextInputBinding.java index 8bd97ec3b02d..9e243e1a9f9d 100644 --- a/src/main/java/org/jabref/gui/autocompleter/AutoCompletionTextInputBinding.java +++ b/src/main/java/org/jabref/gui/autocompleter/AutoCompletionTextInputBinding.java @@ -33,6 +33,8 @@ import javafx.util.Callback; import javafx.util.StringConverter; +import org.jabref.gui.util.DefaultTaskExecutor; + import org.controlsfx.control.textfield.AutoCompletionBinding; /** @@ -73,9 +75,9 @@ private AutoCompletionTextInputBinding(final TextInputControl textInputControl, Callback> suggestionProvider) { this(textInputControl, - suggestionProvider, - AutoCompletionTextInputBinding.defaultStringConverter(), - new ReplaceStrategy()); + suggestionProvider, + AutoCompletionTextInputBinding.defaultStringConverter(), + new ReplaceStrategy()); } private AutoCompletionTextInputBinding(final TextInputControl textInputControl, @@ -98,7 +100,8 @@ private AutoCompletionTextInputBinding(final TextInputControl textInputControl, } private static StringConverter defaultStringConverter() { - return new StringConverter() { + return new StringConverter<>() { + @Override public String toString(T t) { return t == null ? null : t.toString(); @@ -133,7 +136,8 @@ private void setUserInputText(String newText) { newText = ""; } AutoCompletionInput input = inputAnalyzer.analyze(newText); - setUserInput(input.getUnfinishedPart()); + DefaultTaskExecutor.runInJavaFXThread(() -> setUserInput(input.getUnfinishedPart())); + } @Override