/[gzz]/gzz/gzz/client/Fallback.java
ViewVC logotype

Diff of /gzz/gzz/client/Fallback.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.32 by benja, Wed Sep 4 22:15:39 2002 UTC revision 1.33 by benja, Tue Sep 24 18:15:34 2002 UTC
# Line 86  public static final String rcsid = "$Id$ Line 86  public static final String rcsid = "$Id$
86      /** The current mode.      /** The current mode.
87       */       */
88      public int mode = NORMAL;      public int mode = NORMAL;
89        
90        // Arrowsets
91        public static final int LEFT = 0;
92        public static final int RIGHT = 1;
93    
94        /** Windows, by arrowset (LEFT or RIGHT)
95         */
96      public Win[] windows = new Win[2];      public Win[] windows = new Win[2];
97        
98        /** The list of *all* windows, regardless of arrowset
99         */
100        public List windowList = new ArrayList();
101    
102      /** The group of filers we use for saving.      /** The group of filers we use for saving.
103       */       */
# Line 125  public static final String rcsid = "$Id$ Line 135  public static final String rcsid = "$Id$
135          public void updateDims() {          public void updateDims() {
136              for(int i=0; i<dimsIndices.length; i++) dims[i] = dimList[dimsIndices[i]].d;              for(int i=0; i<dimsIndices.length; i++) dims[i] = dimList[dimsIndices[i]].d;
137          }          }
138          public Win other;  
139            public Win getNext() {
140                int i = windowList.indexOf(this) + 1;
141                if(i >= windowList.size()) i = 0;
142                return (Win)windowList.get(i);
143            }
144    
145            public Win getPrev() {
146                int i = windowList.indexOf(this) - 1;
147                if(i < 0) i = windowList.size() - 1;
148                return (Win)windowList.get(i);
149            }
150    
151            public void close() {
152                Win next = getNext();
153                if(next == this) {
154                    // this is last window... XXX
155                    return;
156                }
157                if(windows[LEFT] == this) windows[LEFT] = next;
158                if(windows[RIGHT] == this) windows[RIGHT] = next;
159                windowList.remove(this);
160                
161                throw new UnsupportedOperationException("Closing not implemented in GraphicsAPI.Window");
162            }
163    
164          public Cell getAccursed() { return cursor; }          public Cell getAccursed() { return cursor; }
165          public List getCursorColors(Cell c) {          public List getCursorColors(Cell c) {
# Line 246  public static final String rcsid = "$Id$ Line 280  public static final String rcsid = "$Id$
280          */          */
281          windows[0] = new Win(new LightColorScheme(0.233f));          windows[0] = new Win(new LightColorScheme(0.233f));
282          windows[1] = new Win(new LightColorScheme(0.555f));          windows[1] = new Win(new LightColorScheme(0.555f));
283          windows[0].other = windows[1];          windowList.add(windows[0]);
284          windows[1].other = windows[0];          windowList.add(windows[1]);
285          windows[0].cursor = start;          windows[0].cursor = start;
286          windows[1].cursor = start;          windows[1].cursor = start;
287    

Legend:
Removed from v.1.32  
changed lines
  Added in v.1.33

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26