From 36e18850254ff98e1d87ec4608f024a9a1abca09 Mon Sep 17 00:00:00 2001
From: Damien Goutte-Gattat <dgouttegattat@incenp.org>
Date: Wed, 29 May 2024 12:06:59 +0100
Subject: [PATCH] Add "change priority" label.

Add a label next to the "move up" / "move down" buttons in the
ExplanationPreferencesGeneralPanel dialog, to hopefully make it clearer
that the order of the listed explanation services matters.
---
 .../owl/ui/explanation/ExplanationPreferencesGeneralPanel.java   | 1 +
 1 file changed, 1 insertion(+)

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);