Age | Commit message (Expand) | Author |
---|---|---|
2013-05-18 | [Ide] FontDescription now falls back to default in empty string case | Mike Krüger |
2013-05-17 | [Ide] FontService can now have platform specific default fonts. | Mike Krüger |
2013-03-19 | [TextEditor] Gutter font can now be changed. | Mike Krüger |
2012-09-11 | [Ide] Moved pad font preferences to the fonts options panel | Lluis Sanchez |
2011-09-26 | [Ide] Fix some issues with the font editing dialog | Michael Hutchinson |
2011-04-01 | Fixed 'Bug 684320 - Debug spew in completion system'. | Mike Krüger |
2010-10-06 | added default sans font. | Mike Krüger |
2010-10-06 | Activated font setting panel. | Mike Krüger |
2010-10-04 | Worked on font settings panel (disabled). | Mike Krüger |