/[gzz]/gzz/gzz/view/FallbackBinder.java
ViewVC logotype

Diff of /gzz/gzz/view/FallbackBinder.java

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

revision 1.19 by benja, Sat Sep 28 18:49:07 2002 UTC revision 1.20 by benja, Sun Sep 29 17:09:28 2002 UTC
# Line 316  public static final String rcsid = "$Id$ Line 316  public static final String rcsid = "$Id$
316                  case 'Z': rotate(0, 2, -1); break;                  case 'Z': rotate(0, 2, -1); break;
317                  case 'V': changeView(0, -1); break;                  case 'V': changeView(0, -1); break;
318              }              }
319            } else if(k.equals("Ctrl-0")) {
320                // totally temporary!
321                createPageSpan();
322          }          }
323      }      }
324    
# Line 541  public static final String rcsid = "$Id$ Line 544  public static final String rcsid = "$Id$
544              if(tmp != null) tmp.delete();              if(tmp != null) tmp.delete();
545          }          }
546      }      }
547        
548        /** Totally temporary function for adding a page span.
549         *  Reads the id of a scroll block from the command line and
550         *  puts the whole content of that block into the cell
551         *  accursed in the right window. (Note: This doesn't have
552         *  to be a page scroll, can be text or anything else...)
553         */
554        void createPageSpan() {
555            try {
556            pa("Enter id of span block to put in this cell:");
557            BufferedReader r = new BufferedReader(new InputStreamReader(System.in));
558            Mediaserver.Id id = new Mediaserver.Id(r.readLine());
559            MediaserverFiler.Group g = (MediaserverFiler.Group)fallback.filers;
560            Span s = gzz.media.impl.ScrollBlockManager.getScrollBlock(g.ms, id, false).getCurrent();
561            VStreamCellTexter t = (VStreamCellTexter)fallback.space.getCellTexter();
562            Cell c = fallback.windows[1].cursor;
563            Enfilade1D.Maker mk = t.getEnfilade(c, null).getMaker();
564            t.setEnfilade(c, mk.makeEnfilade(s));
565            } catch(IOException e) {
566                pa(""+e);
567                e.printStackTrace();
568            }
569        }
570    
571      public void windowClosed(Object window0) {      public void windowClosed(Object window0) {
572          Fallback.Win window = (Fallback.Win)window0;          Fallback.Win window = (Fallback.Win)window0;

Legend:
Removed from v.1.19  
changed lines
  Added in v.1.20

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