diff --git a/app/src/processing/app/Preferences.java b/app/src/processing/app/Preferences.java index 404351074..348b678c1 100644 --- a/app/src/processing/app/Preferences.java +++ b/app/src/processing/app/Preferences.java @@ -300,6 +300,22 @@ public class Preferences { Font editorFont = Preferences.getFont("editor.font"); fontSizeField.setText(String.valueOf(editorFont.getSize())); top += d.height + GUI_BETWEEN; + + + // Nevermind on this for now.. Java doesn't seem to have a method for + // enumerating only the fixed-width (monospaced) fonts. To do this + // properly, we'd need to list the fonts, and compare the metrics of + // i and M for each. When they're identical (and not degenerate), + // we'd call that font fixed width. That's all a very expensive set of + // operations, so it should also probably be cached between runs and + // updated in the background. + +// // Editor font +// +// GraphicsEnvironment ge = +// GraphicsEnvironment.getLocalGraphicsEnvironment(); +// Font fonts[] = ge.getAllFonts(); +// ArrayList monoFonts = new ArrayList(); // [ ] Use smooth text in editor window diff --git a/todo.txt b/todo.txt index abd2f9ad6..12c50de2f 100644 --- a/todo.txt +++ b/todo.txt @@ -610,8 +610,9 @@ _ when are prefs saved? could instead save whenever changes are made _ and then if the file gets modified, it'll put up an error message _ also, this may be part of why other sketches aren't reloading properly _ control text size in console -_ why aren't prefs from theme.txt showing up in preferences.txt? hrm -_ or rather, why can't they be overridden? +o why aren't prefs from theme.txt showing up in preferences.txt? hrm +o or rather, why can't they be overridden? +X because theme.txt data is a different animal / that's part of the point _ should fonts at least be in prefs.txt? _ http://code.google.com/p/processing/issues/detail?id=226 _ simple prefs implementation to set key/value pairs using a JTable