Remove separator from tools menu

JabRef · Oct 7, 2017 · 26a7e1f · 26a7e1f
1 parent 50e9716
commit 26a7e1f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/java/org/jabref/gui/JabRefFrame.java b/src/main/java/org/jabref/gui/JabRefFrame.java
@@ -1243,7 +1243,6 @@ private void fillMenu() {
         tools.add(abbreviateIso);
         tools.add(abbreviateMedline);
         tools.add(unabbreviate);
-        tools.addSeparator();
         mb.add(tools);
 
         options.add(showPrefs);