From: <sh...@us...> - 2011-08-30 18:55:17
|
Revision: 19880 http://jedit.svn.sourceforge.net/jedit/?rev=19880&view=rev Author: shlomy Date: 2011-08-30 18:55:11 +0000 (Tue, 30 Aug 2011) Log Message: ----------- Updated the save methods of the option panes according to recent core changes. Modified Paths: -------------- plugins/GdbPlugin/trunk/gdb/options/GdbMacroOptionPane.java plugins/GdbPlugin/trunk/gdb/options/GeneralOptionPane.java plugins/GdbPlugin/trunk/gdb/options/LaunchConfigOptionPane.java Modified: plugins/GdbPlugin/trunk/gdb/options/GdbMacroOptionPane.java =================================================================== --- plugins/GdbPlugin/trunk/gdb/options/GdbMacroOptionPane.java 2011-08-30 14:51:40 UTC (rev 19879) +++ plugins/GdbPlugin/trunk/gdb/options/GdbMacroOptionPane.java 2011-08-30 18:55:11 UTC (rev 19880) @@ -147,7 +147,8 @@ /*************************************************************************** * Implementation **************************************************************************/ - public void _save() + @Override + protected void _save() { // Workaround for committing the last cell editing operation TypeMacroMap tmm = TypeMacroMap.getInstance(); Modified: plugins/GdbPlugin/trunk/gdb/options/GeneralOptionPane.java =================================================================== --- plugins/GdbPlugin/trunk/gdb/options/GeneralOptionPane.java 2011-08-30 14:51:40 UTC (rev 19879) +++ plugins/GdbPlugin/trunk/gdb/options/GeneralOptionPane.java 2011-08-30 18:55:11 UTC (rev 19880) @@ -147,7 +147,8 @@ /*************************************************************************** * Implementation **************************************************************************/ - public void _save() + @Override + protected void _save() { jEdit.setProperty(GDB_PATH_PROP, gdbPathTF.getText()); jEdit.setBooleanProperty(USE_EXTERNAL_COMMANDS_PROP, useExternalCommandsCB.isSelected()); Modified: plugins/GdbPlugin/trunk/gdb/options/LaunchConfigOptionPane.java =================================================================== --- plugins/GdbPlugin/trunk/gdb/options/LaunchConfigOptionPane.java 2011-08-30 14:51:40 UTC (rev 19879) +++ plugins/GdbPlugin/trunk/gdb/options/LaunchConfigOptionPane.java 2011-08-30 18:55:11 UTC (rev 19880) @@ -229,7 +229,8 @@ /*************************************************************************** * Implementation **************************************************************************/ - public void save() + @Override + protected void _save() { configs.save(); } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |