diff options
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index 91fe1fcdc..9c204bfa3 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -1614,6 +1614,7 @@ System.out.println("encoding "+defaultEncoding); /** Handle the key released event. */
public void keyReleased(KeyEvent e) {
}
+
public String comparePositions(String first, String second)
{
String common ="[]";
|