eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-03 05:39:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

0031a

Browse Source 
X lib/pde.properties should be read using getResource
X   otherwise path issues cause trouble (likely under win98)
X take state information out of Header
X cleanup lastFile/lastDirectory
X save (just) last program run in sketch.properties
X coloring of error, message, etc changed in pde.properties
X finish save changes stuff

0031b
X editorlistener shouldn't track menu commands as changes to file
X   ctrl keys bksp/del/enter/return/tab then space on up
X   indicator for changes?
X   need to implement code for whether changes have been made
X   check for key events in textarea or something
X     if key events, compare contents against the existing file
X userName not getting set before sketchbook menu is built
X add 'refresh list' item to the sketchbook menu

0031c
X ability to set directory for compiling in kjcengine

0031d
X make sure compiling into build directory
X   and once compiled there, read all classes for export
This commit is contained in:
benfry
2002-07-05 09:52:58 +00:00
parent 6896b62803
commit 2d42221d24
9 changed files with 312 additions and 162 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
processing/app/PdeEditorHeader.java
View File

@@ -31,6 +31,7 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
int sketchRight;
int sketchTitleLeft;
//File sketchDir;
boolean sketchModified;
//private String user;
int userLeft;
@@ -160,7 +161,11 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
g.setColor(primaryColor);
//g.drawString(sketch, sketchLeft, baseline);
g.drawString(editor.sketchName, sketchLeft, baseline);
//String additional = sketchModified ? " \u2020" : "";
//String additional = sketchModified ? " \u00A4" : "";
String additional = sketchModified ? " \u00A7" : "";
//String additional = sketchModified ? " \u2022" : "";
g.drawString(editor.sketchName + additional, sketchLeft, baseline);
//if (!boringUser) g.drawString(user, userLeft, baseline);
if (!boringUser) g.drawString(editor.userName, userLeft, baseline);