From: <sh...@us...> - 2009-11-19 17:37:04
|
Revision: 16513 http://jedit.svn.sourceforge.net/jedit/?rev=16513&view=rev Author: shlomy Date: 2009-11-19 17:36:54 +0000 (Thu, 19 Nov 2009) Log Message: ----------- Register the toggled state of the errors/warnings in properties. Modified Paths: -------------- plugins/ErrorList/trunk/errorlist/ErrorList.java Modified: plugins/ErrorList/trunk/errorlist/ErrorList.java =================================================================== --- plugins/ErrorList/trunk/errorlist/ErrorList.java 2009-11-19 14:36:58 UTC (rev 16512) +++ plugins/ErrorList/trunk/errorlist/ErrorList.java 2009-11-19 17:36:54 UTC (rev 16513) @@ -67,6 +67,8 @@ ErrorList.class.getResource("error.png")); public static final ImageIcon WARNING_ICON = new ImageIcon( ErrorList.class.getResource("warning.png")); + public static final Integer [] allTypes = new Integer[] { + ErrorSource.ERROR, ErrorSource.WARNING }; //{{{ data members private View view; @@ -88,7 +90,8 @@ errors = new Vector<Error>(); filteredTypes = new Vector<Integer>(); - + initFilteredTypes(); + Box toolBar = new Box(BoxLayout.X_AXIS); status = new JLabel(); toolBar.add(status); @@ -96,6 +99,8 @@ toggleButtons = new HashMap<Integer, JToggleButton>(); JToggleButton toggleBtn = new JToggleButton(ERROR_ICON, true); + toggleBtn.setSelected(! filteredTypes.contains(Integer.valueOf( + ErrorSource.ERROR))); toggleBtn.setToolTipText(jEdit.getProperty( "error-list-toggle-errors.label")); toggleBtn.addActionListener(new EditAction.Wrapper( @@ -108,6 +113,8 @@ toolBar.add(Box.createHorizontalStrut(3)); toggleBtn = new JToggleButton(WARNING_ICON, true); + toggleBtn.setSelected(! filteredTypes.contains(Integer.valueOf( + ErrorSource.WARNING))); toggleBtn.setToolTipText(jEdit.getProperty( "error-list-toggle-warnings.label")); toggleBtn.addActionListener(new EditAction.Wrapper( @@ -255,6 +262,15 @@ handleViewUpdate((ViewUpdate)message); } //}}} + //{{{ initFilteredTypes() method + private void initFilteredTypes() { + for (Integer type: allTypes) + { + if (jEdit.getBooleanProperty("error-list-filtered-types." + type, false)) + filteredTypes.add(type); + } + } //}}} + //{{{ handleViewUpdate() method private void handleViewUpdate(ViewUpdate vu) { if (vu.getWhat() == ViewUpdate.CLOSED && vu.getView() == view) @@ -564,6 +580,8 @@ filteredTypes.remove(type); else filteredTypes.add(type); + jEdit.setBooleanProperty("error-list-filtered-types." + type, + filteredTypes.contains(type)); updateList(); } //}}} This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |