gzz-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gzz-commits] fenfire ./TODO-loom org/fenfire/loom/Loom.java


From: Benja Fallenstein
Subject: [Gzz-commits] fenfire ./TODO-loom org/fenfire/loom/Loom.java
Date: Tue, 04 Mar 2003 10:03:54 -0500

CVSROOT:        /cvsroot/fenfire
Module name:    fenfire
Changes by:     Benja Fallenstein <address@hidden>      03/03/04 10:03:54

Modified files:
        .              : TODO-loom 
        org/fenfire/loom: Loom.java 

Log message:
        easy task done

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/fenfire/fenfire/TODO-loom.diff?tr1=1.7&tr2=1.8&r1=text&r2=text
http://savannah.gnu.org/cgi-bin/viewcvs/fenfire/fenfire/org/fenfire/loom/Loom.java.diff?tr1=1.5&tr2=1.6&r1=text&r2=text

Patches:
Index: fenfire/TODO-loom
diff -u fenfire/TODO-loom:1.7 fenfire/TODO-loom:1.8
--- fenfire/TODO-loom:1.7       Tue Mar  4 10:00:59 2003
+++ fenfire/TODO-loom   Tue Mar  4 10:03:54 2003
@@ -14,7 +14,6 @@
 
     - better colours
     - views proportional to window size
-    - Ctrl-Q and window closing should quit program
 
     - allow specifying namespaces (as in RDF/XML) and display
       URIs using those namespaces-- i.e., rdf:type instead of
Index: fenfire/org/fenfire/loom/Loom.java
diff -u fenfire/org/fenfire/loom/Loom.java:1.5 
fenfire/org/fenfire/loom/Loom.java:1.6
--- fenfire/org/fenfire/loom/Loom.java:1.5      Tue Mar  4 07:28:39 2003
+++ fenfire/org/fenfire/loom/Loom.java  Tue Mar  4 10:03:54 2003
@@ -163,13 +163,17 @@
                            % views.length;
                    else if(s.equals("PgDown")) // next view wanted
                        viewcur = (viewcur+1) % views.length;
+                   else if(s.equals("Ctrl-Q"))
+                       System.exit(0);
 
                    AbstractUpdateManager.chg();
                }
                public void mouse(MouseEvent m) {}
                public void setScreen(Screen s) {}
                public void timeout(Object id) {}
-               public void windowClosed() {}
+               public void windowClosed() {
+                   System.exit(0);
+               }
            };
 
        api.startUpdateManager(new Runnable() {




reply via email to

[Prev in Thread] Current Thread [Next in Thread]