more work on saving sketches, fixing up PdeEditorListener for prefs

This commit is contained in:
benfry
2004-01-20 15:25:14 +00:00
parent 0613497bf2
commit 1c7b13a297
5 changed files with 110 additions and 159 deletions

View File

@@ -148,10 +148,12 @@ public class PdeEditorHeader extends JComponent /*implements MouseListener*/ {
}
/*
public void reset() {
sketchLeft = 0;
repaint();
}
*/
public void paintComponent(Graphics screen) {