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

lots of mega-changes for 32 and heading towards 33.. see done.txt for

Browse Source 
full details.
This commit is contained in:
benfry
2002-07-08 03:28:46 +00:00
parent 2d42221d24
commit eccb164175
10 changed files with 880 additions and 529 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
processing/app/PdeEditorHeader.java
View File

@@ -135,6 +135,9 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
sketchLeft = sketchTitleLeft +
metrics.stringWidth(SKETCH_TITLER) + PdeEditor.INSET_SIZE;
int modifiedLeft = sketchLeft +
metrics.stringWidth(editor.sketchName) + PdeEditor.INSET_SIZE;
//sketch = editor.sketchName;
//if (sketch == null) sketch = "";
//}
@@ -157,15 +160,16 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
g.setColor(secondaryColor);
g.drawString(SKETCH_TITLER, sketchTitleLeft, baseline);
if (sketchModified) g.drawString("\u00A7", modifiedLeft, baseline);
if (!boringUser) g.drawString(USER_TITLER, userTitleLeft, baseline);
g.setColor(primaryColor);
//g.drawString(sketch, 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);
g.drawString(editor.sketchName, sketchLeft, baseline);
//if (!boringUser) g.drawString(user, userLeft, baseline);
if (!boringUser) g.drawString(editor.userName, userLeft, baseline);