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

tweak fonts

Browse Source
This commit is contained in:
Ben Fry
2013-06-01 11:02:43 -04:00
parent 0689a4cc7d
commit 7fce8de4bf
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
app/src/processing/app/EditorHeader.java
View File

@@ -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);

6
build/shared/lib/preferences.txt
View File

@@ -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

2
build/shared/lib/theme.txt
View File

@@ -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