Changeset 37769

Timestamp:

2023-06-15T19:29:22+12:00 (11 months ago)

Author:

anupama

Message:

Related to yesterday's commit 37765. The old call to plugin_list.setSelectedValue() would also scroll the selected value into view. Now that we're selecting the plugin based on index, we'd still like to scroll the selection into view.

File:

• main/trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/cdm/PluginManager.java

@@ -841 +841 @@
             if(selectedIndex >= 0 && selectedIndex < plugin_list.getModel().getSize()) {
                 plugin_list.setSelectedIndex(selectedIndex);
+                plugin_list.ensureIndexIsVisible(selectedIndex);
             }
             }