[ jEdit-commits ] SF.net SVN: jedit:[13793] jEdit/trunk/org/gjt/sp/jedit

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

Revision: 13793
          http://jedit.svn.sourceforge.net/jedit/?rev=13793&view=rev
Author:   shlomy
Date:     2008-09-25 07:59:22 +0000 (Thu, 25 Sep 2008)

Log Message:
-----------
Set the color when painting the middle of a fold in the new fold styles.
Also removed an erroneous "@override" directive in an interface.

Modified Paths:
--------------
    jEdit/trunk/org/gjt/sp/jedit/Registers.java
    jEdit/trunk/org/gjt/sp/jedit/textarea/CircleFoldPainter.java
    jEdit/trunk/org/gjt/sp/jedit/textarea/SquareFoldPainter.java

Modified: jEdit/trunk/org/gjt/sp/jedit/Registers.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/Registers.java	2008-09-25 07:18:32 UTC (rev 13792)
+++ jEdit/trunk/org/gjt/sp/jedit/Registers.java	2008-09-25 07:59:22 UTC (rev 13793)
@@ -488,7 +488,6 @@
 		/**
 		 * Converts to a string.
 		 */
-		@Override
 		String toString();
 
 		/**

Modified: jEdit/trunk/org/gjt/sp/jedit/textarea/CircleFoldPainter.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/textarea/CircleFoldPainter.java	2008-09-25 07:18:32 UTC (rev 13792)
+++ jEdit/trunk/org/gjt/sp/jedit/textarea/CircleFoldPainter.java	2008-09-25 07:59:22 UTC (rev 13793)
@@ -20,6 +20,7 @@
 	public void paintFoldMiddle(Gutter gutter, Graphics2D gfx, int screenLine,
 			int bufferLine, int y, int lineHeight, JEditBuffer buffer)
 	{
+		gfx.setColor(gutter.getFoldColor());
 		gfx.drawLine(5,y,5,y+lineHeight-1);
 	}
 

Modified: jEdit/trunk/org/gjt/sp/jedit/textarea/SquareFoldPainter.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/textarea/SquareFoldPainter.java	2008-09-25 07:18:32 UTC (rev 13792)
+++ jEdit/trunk/org/gjt/sp/jedit/textarea/SquareFoldPainter.java	2008-09-25 07:59:22 UTC (rev 13793)
@@ -35,6 +35,7 @@
 	public void paintFoldMiddle(Gutter gutter, Graphics2D gfx, int screenLine,
 			int bufferLine, int y, int lineHeight, JEditBuffer buffer)
 	{
+		gfx.setColor(gutter.getFoldColor());
 		gfx.drawLine(5,y,5,y+lineHeight-1);
 	}
 


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