From 63232b69826272e68849a2d90e6caefd3039c9b8 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Sun, 6 Jun 2004 19:57:56 +0000
Subject: *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/JavaGUI/GFEditor2.java')

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 ="[]";
-- 
cgit v1.2.3