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

[<kp...@us...>]

Revision: 25425
          http://sourceforge.net/p/jedit/svn/25425
Author:   kpouer
Date:     2021-03-13 09:13:04 +0000 (Sat, 13 Mar 2021)
Log Message:
-----------
minor cleanup

Modified Paths:
--------------
    jEdit/trunk/org/gjt/sp/jedit/gui/RolloverToggleButton.java
    jEdit/trunk/org/gjt/sp/jedit/gui/ScreenRectangleSelectionButton.java
    jEdit/trunk/org/gjt/sp/jedit/gui/SelectLineRange.java

Modified: jEdit/trunk/org/gjt/sp/jedit/gui/RolloverToggleButton.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/gui/RolloverToggleButton.java	2021-03-13 09:08:42 UTC (rev 25424)
+++ jEdit/trunk/org/gjt/sp/jedit/gui/RolloverToggleButton.java	2021-03-13 09:13:04 UTC (rev 25425)
@@ -45,10 +45,9 @@
  */
 public class RolloverToggleButton extends JToggleButton
 {
+	private final Border originalBorder;
+	private final Border rolloverBorder;
 	
-	private Border originalBorder;
-	private Border rolloverBorder;
-	
 	//{{{ RolloverButton constructor
 	/**
 	 * Setup the border
@@ -79,6 +78,7 @@
 	} //}}}
 
 	//{{{ updateUI() method
+	@Override
 	public void updateUI()
 	{
 		super.updateUI();
@@ -87,6 +87,7 @@
 	} //}}}
 
 	//{{{ setEnabled() method
+	@Override
 	public void setEnabled(boolean b)
 	{
 		super.setEnabled(b);
@@ -95,6 +96,7 @@
 	} //}}}
 
 	//{{{ setBorderPainted() method
+	@Override
 	public void setBorderPainted(boolean b)
 	{
 		try
@@ -114,6 +116,7 @@
 	 * We block calls to revalidate() from a setBorderPainted(), for
 	 * performance reasons.
 	 */
+	@Override
 	public void revalidate()
 	{
 		if(!revalidateBlocked)
@@ -121,6 +124,7 @@
 	} //}}}
 
 	//{{{ paint() method
+	@Override
 	public void paint(Graphics g)
 	{
 		if(isEnabled())
@@ -145,6 +149,7 @@
 	 */
 	class MouseOverHandler extends MouseAdapter
 	{
+		@Override
 		public void mouseEntered(MouseEvent e)
 		{
 			setBorder(rolloverBorder);
@@ -152,6 +157,7 @@
 			setBorderPainted(true);
 		}
 
+		@Override
 		public void mouseExited(MouseEvent e)
 		{
 			setBorder(originalBorder);

Modified: jEdit/trunk/org/gjt/sp/jedit/gui/ScreenRectangleSelectionButton.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/gui/ScreenRectangleSelectionButton.java	2021-03-13 09:08:42 UTC (rev 25424)
+++ jEdit/trunk/org/gjt/sp/jedit/gui/ScreenRectangleSelectionButton.java	2021-03-13 09:13:04 UTC (rev 25425)
@@ -109,16 +109,19 @@
 			this.image = image;
 		}
 
+		@Override
 		public int getIconWidth()
 		{
 			return dimension.width;
 		}
 
+		@Override
 		public int getIconHeight()
 		{
 			return dimension.height;
 		}
 
+		@Override
 		public void paintIcon(Component c, Graphics g, int x, int y)
 		{
 			g = g.create();
@@ -136,6 +139,7 @@
 	//{{{ ActionHandler class
 	class ActionHandler implements ActionListener
 	{
+		@Override
 		public void actionPerformed(ActionEvent evt)
 		{
 			int iconWidth = getIcon().getIconWidth();

Modified: jEdit/trunk/org/gjt/sp/jedit/gui/SelectLineRange.java
===================================================================
--- jEdit/trunk/org/gjt/sp/jedit/gui/SelectLineRange.java	2021-03-13 09:08:42 UTC (rev 25424)
+++ jEdit/trunk/org/gjt/sp/jedit/gui/SelectLineRange.java	2021-03-13 09:13:04 UTC (rev 25425)
@@ -31,6 +31,7 @@
 import org.gjt.sp.util.GenericGUIUtilities;
 import org.gjt.sp.jedit.*;
 //}}}
+
 /** Dialog for selection of a range of lines */
 public class SelectLineRange extends EnhancedDialog implements ActionListener
 {
@@ -78,6 +79,7 @@
 	} //}}}
 
 	//{{{ ok() method
+	@Override
 	public void ok()
 	{
 		int startLine;
@@ -117,6 +119,7 @@
 	} //}}}
 
 	//{{{ cancel() method
+	@Override
 	public void cancel()
 	{
 		dispose();
@@ -123,6 +126,7 @@
 	} //}}}
 
 	//{{{ actionPerformed() method
+	@Override
 	public void actionPerformed(ActionEvent evt)
 	{
 		Object source = evt.getSource();
@@ -135,11 +139,11 @@
 	//{{{ Private members
 
 	//{{{ Instance variables
-	private View view;
+	private final View view;
 	private NumericTextField startField;
 	private NumericTextField endField;
-	private JButton ok;
-	private JButton cancel;
+	private final JButton ok;
+	private final JButton cancel;
 	//}}}
 
 	//{{{ createFieldPanel() method
@@ -162,11 +166,13 @@
 		
 		FocusListener focusListener = new FocusListener()
 			{
-				public void focusGained(FocusEvent fe) 
+				@Override
+				public void focusGained(FocusEvent fe)
 				{
 					((JTextField)fe.getSource()).selectAll();
 				}
 				
+				@Override
 				public void focusLost(FocusEvent fe)
 				{
 					JTextField source = (JTextField)fe.getSource();

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