From: <bl...@us...> - 2006-11-17 14:37:10
|
Revision: 8095 http://svn.sourceforge.net/jedit/?rev=8095&view=rev Author: blueyed Date: 2006-11-17 06:37:05 -0800 (Fri, 17 Nov 2006) Log Message: ----------- Catch exception with empty Update table; please check, because there is probably a cleaner solution Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/pluginmgr/InstallPanel.java Modified: jEdit/trunk/org/gjt/sp/jedit/pluginmgr/InstallPanel.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/pluginmgr/InstallPanel.java 2006-11-17 06:52:04 UTC (rev 8094) +++ jEdit/trunk/org/gjt/sp/jedit/pluginmgr/InstallPanel.java 2006-11-17 14:37:05 UTC (rev 8095) @@ -452,7 +452,7 @@ fireTableChanged(new TableModelEvent(this)); restoreSelection(savedChecked,savedSelection); } //}}} - + //{{{ saveSelection() method public void saveSelection(List<String> savedChecked, List<String> savedSelection) { @@ -473,7 +473,7 @@ } } } //}}} - + //{{{ restoreSelection() method public void restoreSelection(List<String> savedChecked, List<String> savedSelection) { @@ -565,7 +565,7 @@ Arrays.sort(array,new MiscUtilities.StringICaseCompare()); return array; } - + public String toString() { return name; @@ -728,11 +728,11 @@ JOptionPane.OK_CANCEL_OPTION, JOptionPane.WARNING_MESSAGE) == JOptionPane.CANCEL_OPTION) cancel = true; - + if (!cancel) { new PluginManagerProgress(window,roster); - + roster.performOperationsInAWTThread(window); pluginModel.update(); } @@ -826,13 +826,13 @@ class KeyboardAction extends AbstractAction { private KeyboardCommand command = KeyboardCommand.NONE; - + public KeyboardAction(KeyboardCommand command) { super(); this.command = command; } - + public void actionPerformed(ActionEvent evt) { switch (command) @@ -871,7 +871,13 @@ { if (-1 == table.getSelectedRow()) { - table.setRowSelectionInterval(0,0); + try + { + // TODO: blueyed> this throws an exception with an empty "Update" table. Please check, if this is the right fix. + table.setRowSelectionInterval(0,0); + } + catch(Exception e) {} + JScrollBar scrollbar = scrollpane.getVerticalScrollBar(); scrollbar.setValue(scrollbar.getMinimum()); } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |