whitespaces

JabRef · May 28, 2019 · ec5f96b · ec5f96b
1 parent 186f9bc
commit ec5f96b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -67,6 +67,7 @@ We refer to [GitHub issues](https://github.com/JabRef/jabref/issues) by using `#
 - We added an option in the preference dialog box that allows user to enable helpful tooltips.[#3599](https://github.com/JabRef/jabref/issues/3599)
 - We moved the dropdown menu for selecting the push-application from the toolbar into the tools menu.[#674](https://github.com/JabRef/jabref/issues/674)
 
+
 ### Fixed
 - We fixed an issue where JabRef died silently for the user without enough inotify instances [#4874](https://github.com/JabRef/jabref/issues/4847)
 - We fixed an issue where corresponding groups are sometimes not highlighted when clicking on entries [#3112](https://github.com/JabRef/jabref/issues/3112)

diff --git a/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java b/src/main/java/org/jabref/gui/push/PushToApplicationMenuAction.java
@@ -63,11 +63,11 @@ public void execute() {
         MenuItem menuItem = manager.getMenuItem();
         Button toolBarButton = manager.getToolBarButton();
 
-        if(menuItem != null) {
+        if (menuItem != null) {
             factory.configureMenuItem(pushToApplicationAction.getActionInformation(), pushToApplicationAction, menuItem);
         }
 
-        if(toolBarButton != null) {
+        if (toolBarButton != null) {
             factory.configureIconButton(pushToApplicationAction.getActionInformation(),pushToApplicationAction, toolBarButton);
         }
     }