/[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.42 by benja, Wed Oct 2 18:24:02 2002 UTC revision 1.43 by benja, Wed Oct 2 18:26:28 2002 UTC
# Line 225  public static final String rcsid = "$Id$ Line 225  public static final String rcsid = "$Id$
225    
226          VobScene cachedVobScene;          VobScene cachedVobScene;
227          boolean useCachedVobScene = false;          boolean useCachedVobScene = false;
228            
229            /** Get the last generated vob scene. */        
230          public VobScene getCachedVobScene() { return cachedVobScene; };          public VobScene getCachedVobScene() { return cachedVobScene; };
231            
232            /** Specify whether to re-use the last generated vob scene
233             *  when re-drawing the next time. This allows making changes
234             *  to that vob scene (through getCachedVobScene()) and
235             *  redraw quickly.
236             */
237          public void setUseCachedVobScene(boolean b) {          public void setUseCachedVobScene(boolean b) {
238              useCachedVobScene = b;              useCachedVobScene = b;
239          }          }

Legend:
Removed from v.1.42  
changed lines
  Added in v.1.43

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