[ jEdit-commits ] SF.net SVN: jedit:[14314] plugins/SideKick/trunk/sidekick

[<sh...@us...>]

Revision: 14314
          http://jedit.svn.sourceforge.net/jedit/?rev=14314&view=rev
Author:   shlomy
Date:     2009-01-07 08:12:15 +0000 (Wed, 07 Jan 2009)

Log Message:
-----------
Update the marker color in the sidekick tree when changed (e.g. using the Global Options dialog).

Modified Paths:
--------------
    plugins/SideKick/trunk/sidekick/SideKickTree.java
    plugins/SideKick/trunk/sidekick/enhanced/SourceTree.java

Modified: plugins/SideKick/trunk/sidekick/SideKickTree.java
===================================================================
--- plugins/SideKick/trunk/sidekick/SideKickTree.java	2009-01-07 06:33:06 UTC (rev 14313)
+++ plugins/SideKick/trunk/sidekick/SideKickTree.java	2009-01-07 08:12:15 UTC (rev 14314)
@@ -476,7 +476,7 @@
 	}//}}}
 
 	//{{{ propertiesChanged() method
-	private void propertiesChanged()
+	protected void propertiesChanged()
 	{
 		followCaret.setSelected(SideKick.isFollowCaret());
 		Mode m = view.getBuffer().getMode();

Modified: plugins/SideKick/trunk/sidekick/enhanced/SourceTree.java
===================================================================
--- plugins/SideKick/trunk/sidekick/enhanced/SourceTree.java	2009-01-07 06:33:06 UTC (rev 14313)
+++ plugins/SideKick/trunk/sidekick/enhanced/SourceTree.java	2009-01-07 08:12:15 UTC (rev 14314)
@@ -176,7 +176,17 @@
         }
     } //}}}
 
-    protected class KeyHandler extends KeyAdapter {
+    @Override
+    protected void propertiesChanged() {
+    	super.propertiesChanged();
+    	Color c = jEdit.getColorProperty("view.gutter.markerColor");
+    	if (! _markerColor.equals(c)) {
+    		_markerColor = c;
+    		repaint();
+    	}
+    }
+
+	protected class KeyHandler extends KeyAdapter {
         //{{{ KeyHandler class
         public void keyPressed( KeyEvent evt ) {
             handleKey( evt );


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.