From 0918c1d31c762584c952a2981edd155c2ef613d4 Mon Sep 17 00:00:00 2001 From: Morgan Lovato <33430757+morganlovato@users.noreply.github.com> Date: Thu, 6 Dec 2018 08:32:02 -0700 Subject: [PATCH] Fixes #4437 Changed the sizes of buttons "Update to current column widths" and "Update to current column order" There is still more to fix in this issue: The Field name is not editable The value in Field name is not identical with table header --- src/main/java/org/jabref/gui/preferences/TableColumnsTab.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/org/jabref/gui/preferences/TableColumnsTab.java b/src/main/java/org/jabref/gui/preferences/TableColumnsTab.java index 40ae74463ed..a441ec74992 100644 --- a/src/main/java/org/jabref/gui/preferences/TableColumnsTab.java +++ b/src/main/java/org/jabref/gui/preferences/TableColumnsTab.java @@ -314,10 +314,10 @@ public TableColumnsTab(JabRefPreferences prefs, JabRefFrame frame) { builder.add(tabPanel, 1, 5); Button buttonWidth = new Button("Update to current column widths"); - buttonWidth.setPrefSize(200, 30); + buttonWidth.setPrefSize(300, 30); buttonWidth.setOnAction(e->new UpdateWidthsAction()); Button buttonOrder = new Button("Update to current column order"); - buttonOrder.setPrefSize(200, 30); + buttonOrder.setPrefSize(300, 30); buttonOrder.setOnAction(e->new UpdateOrderAction()); builder.add(buttonWidth, 1, 6); builder.add(buttonOrder, 1, 7);