Changeset 8397

Timestamp:

01/24/05 16:18:29 (16 years ago)

Author:

piso

Message:

highlightTextField(), unhighlightTextField()

File:

• trunk/j/src/org/armedbear/j/IncrementalFindTextFieldHandler.java (modified) (7 diffs)

trunk/j/src/org/armedbear/j/IncrementalFindTextFieldHandler.java

@@ -2 +2 @@
  * IncrementalFindTextFieldHandler.java
  *
- * Copyright (C) 1998-2004 Peter Graves
- * $Id: IncrementalFindTextFieldHandler.java,v 1.5 2004-07-15 19:20:11 piso Exp $
+ * Copyright (C) 1998-2005 Peter Graves
+ * $Id: IncrementalFindTextFieldHandler.java,v 1.6 2005-01-24 16:18:29 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -22 +22 @@
 package org.armedbear.j;
 
+import java.awt.Color;
 import java.awt.event.KeyEvent;
 import javax.swing.SwingUtilities;
@@ -82 +83 @@
         // Erase "not found" message (if any).
         editor.status("");
+        unhighlightTextField();
     }
 
@@ -211 +213 @@
     private void finish(KeyEvent e)
     {
+        unhighlightTextField();
         if (search.getPattern() != null && search.getPatternLength() > 0) {
             editor.setLastSearch(search);
@@ -277 +280 @@
         if (pos != null)
             found(pos);
-        else
+        else {
             search.notFound(editor);
+            highlightTextField();
+        }
     }
 
@@ -295 +300 @@
                     // Erase "not found" message (if any).
                     editor.status("");
+                    unhighlightTextField();
                 } else
                     search.notFound(editor);
@@ -387 +393 @@
         }
     };
+
+    private final void highlightTextField()
+    {
+        textField.setBackground(Color.RED);
+    }
+
+    private final void unhighlightTextField()
+    {
+        textField.setBackground(Color.WHITE);
+    }
 }