From 7fce8de4bf8f4f38e22806f0dbbe3e60169786b9 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 1 Jun 2013 11:02:43 -0400 Subject: [PATCH] tweak fonts --- app/src/processing/app/EditorHeader.java | 2 +- build/shared/lib/preferences.txt | 6 +++--- build/shared/lib/theme.txt | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/app/src/processing/app/EditorHeader.java b/app/src/processing/app/EditorHeader.java index 167dd35c4..db3469f4b 100644 --- a/app/src/processing/app/EditorHeader.java +++ b/app/src/processing/app/EditorHeader.java @@ -398,7 +398,7 @@ public class EditorHeader extends JComponent { int textLeft = tab.left + ((tab.right - tab.left) - tab.textWidth) / 2; g.setColor(textColor[state]); // int baseline = (int) Math.ceil((sizeH + fontAscent) / 2.0); - int baseline = bottom - (TAB_HEIGHT - fontAscent)/2 - 1; + int baseline = bottom - (TAB_HEIGHT - fontAscent)/2; //g.drawString(sketch.code[i].name, textLeft, baseline); g.drawString(tab.text, textLeft, baseline); // g.drawLine(tab.left, baseline-fontAscent, tab.right, baseline-fontAscent); diff --git a/build/shared/lib/preferences.txt b/build/shared/lib/preferences.txt index fcd99843e..c8f40630e 100644 --- a/build/shared/lib/preferences.txt +++ b/build/shared/lib/preferences.txt @@ -102,11 +102,11 @@ editor.window.height.min.macosx = 450 editor.window.height.min.windows = 530 # font size for editor -#editor.font=Monospaced,plain,12 +#editor.font = Monospaced,plain,12 # Monaco is nicer on Mac OS X, so use that explicitly #editor.font.macosx = Monaco,plain,10 # trying for a built-in, consistent monospace for 2.0 -editor.font=processing.mono,plain,12 +editor.font = processing.mono,plain,12 # anti-aliased text, turned off by default #editor.antialias=false @@ -160,7 +160,7 @@ editor.divider.size.windows = 2 # font choice and size for the console #console.font = Monospaced,plain,11 #console.font.macosx = Monaco,plain,10 -console.font = processing.mono,plain,11 +console.font = processing.mono,plain,12 # number of lines to show by default console.lines = 4 diff --git a/build/shared/lib/theme.txt b/build/shared/lib/theme.txt index a69aad580..81407f1bc 100755 --- a/build/shared/lib/theme.txt +++ b/build/shared/lib/theme.txt @@ -43,7 +43,7 @@ buttons.status.color = #ffffff #mode.button.font.macosx = Helvetica,plain,9 #mode.button.font = Monospaced,plain,11 #mode.button.font.macosx = Monaco,plain,10 -mode.button.font = processing.mono,plain,11 +mode.button.font = processing.mono,plain,12 #mode.button.color = #4a545e #mode.button.color = #9ca6b0 mode.button.color = #ffffff