diff --git a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java index b6a27b6df..d78d1f844 100644 --- a/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java +++ b/protege-editor-owl/src/main/java/org/protege/editor/owl/ui/explanation/ExplanationPreferencesGeneralPanel.java @@ -108,6 +108,7 @@ private void addUpDownButtons(PreferencesLayoutPanel panel, JTable pluginTable) buttonDown.setEnabled(pluginTable.getSelectedRow() != -1); JPanel buttonsUpDown = new JPanel(); + buttonsUpDown.add(new JLabel("Change priority")); buttonsUpDown.add(buttonUp); buttonsUpDown.add(buttonDown); panel.addGroupComponent(buttonsUpDown);