X macosx.. editor.status.font needs to be size 12

X   same under windows, just wasn't being set properly before
X   header font needed to be set each time as well
X introduce pde.properties_OSNAME
X   tested to make sure it joins with the other pde.properties ok
X setPixel(i, j, #99CC00);
X   not working anymore Syntax error: unexpected token: CC00
X   problem was substitute only worked along with =
This commit is contained in:
benfry
2002-07-27 19:14:28 +00:00
parent 931579486f
commit e584a39fc3
10 changed files with 60 additions and 53 deletions

View File

@@ -122,7 +122,6 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
Graphics g = offscreen.getGraphics();
if (font == null) {
//font = new Font("SansSerif", Font.PLAIN, 12);
font = PdeBase.getFont("editor.header.font",
new Font("SansSerif", Font.PLAIN, 12));
g.setFont(font);
@@ -158,6 +157,7 @@ public class PdeEditorHeader extends Panel /* implements ActionListener*/ {
boolean boringUser = editor.userName.equals("default");
g.setFont(font); // needs to be set each time
g.setColor(secondaryColor);
g.drawString(SKETCH_TITLER, sketchTitleLeft, baseline);
if (sketchModified) g.drawString("\u00A7", modifiedLeft, baseline);