250 |
} |
} |
251 |
}); |
}); |
252 |
|
|
253 |
|
propFrame.setBounds(350, 300, 350, 200); |
254 |
propFrame.add(propList); |
propFrame.add(propList); |
255 |
propList.addItemListener(new ItemListener() { |
propList.addItemListener(new ItemListener() { |
256 |
public void itemStateChanged(ItemEvent e) { |
public void itemStateChanged(ItemEvent e) { |
271 |
AbstractUpdateManager.chg(); |
AbstractUpdateManager.chg(); |
272 |
} |
} |
273 |
}); |
}); |
|
propFrame.setVisible(true); |
|
274 |
|
|
275 |
final GraphicsAPI api = GraphicsAPI.getInstance(); |
final GraphicsAPI api = GraphicsAPI.getInstance(); |
276 |
|
|
398 |
|
|
399 |
public void keystroke(String s) { |
public void keystroke(String s) { |
400 |
System.out.println("Keystroke: "+s); |
System.out.println("Keystroke: "+s); |
401 |
|
if(s.equals("Ctrl-Q")) |
402 |
|
System.exit(0); |
403 |
if(model == null) return; |
if(model == null) return; |
404 |
|
|
405 |
if(viewcur == 0) { |
if(viewcur == 0) { |
449 |
% views.length; |
% views.length; |
450 |
else if(s.equals("PgDown")) // next view wanted |
else if(s.equals("PgDown")) // next view wanted |
451 |
viewcur = (viewcur+1) % views.length; |
viewcur = (viewcur+1) % views.length; |
|
else if(s.equals("Ctrl-Q")) |
|
|
System.exit(0); |
|
452 |
|
|
453 |
AbstractUpdateManager.chg(); |
AbstractUpdateManager.chg(); |
454 |
} |
} |
511 |
// threading issues? -b |
// threading issues? -b |
512 |
goTo.setVisible(true); |
goTo.setVisible(true); |
513 |
goTo.setVisible(false); |
goTo.setVisible(false); |
514 |
|
|
515 |
|
goTo.setSize(500, 80); |
516 |
|
|
517 |
fileDialog = new FileDialog(frame, "Open", |
fileDialog = new FileDialog(frame, "Open", |
518 |
FileDialog.LOAD); |
FileDialog.LOAD); |
519 |
frame.setMenuBar(mBar); |
frame.setMenuBar(mBar); |
520 |
AbstractUpdateManager.addWindow(scr); |
AbstractUpdateManager.addWindow(scr); |
521 |
scr.window.setLocation(0, 0, 640, 400); |
scr.window.setLocation(0, 0, 640, 400); |
522 |
|
propFrame.setVisible(true); |
523 |
AbstractUpdateManager.chg(); |
AbstractUpdateManager.chg(); |
524 |
} |
} |
525 |
}); |
}); |