Community
Participate
Working Groups
We currently let the user choose the font family (serif, sans serif). This is better than nothing, but I think most users would want to choose their preferred font for coding by the face name.
There are challenges with just using any font for coding. When I used sans-serif, and serif to begin with I recall it was in part to keep things simple, based on some edgy things that I'd seen with fonts and line heights, but I can't remember the details. When you write 'most users' - have you heard feedback from others?
I've been asked during a demo. But really when I said "most users" I was thinking of past discussion with Eclipse desktop about using the "modern" coding fonts as they become available. For example when Consolas first hit the scene, many folks wanted to code with it vs. getting a default serif font. I can't say I recall seeing a UI besides ours that only lets you choose family.
We might want to make ourselves compatible with these: http://www.edgefonts.com/ and especially the new source code sans font that Adobe designed for Brackets.
This is in progress for Orion 9.
Closing as part of a mass clean up of inactive bugs. Please reopen if this problem still occurs or is relevant to you. For more details see: https://dev.eclipse.org/mhonarc/lists/orion-dev/msg04002.html
Reopening.
Investigate using "Google Fonts" in the editor: https://developers.google.com/fonts/ There are 16 monospace Google Fonts: https://fonts.google.com/?category=Monospace Inconsolata Roboto Mono Source Code Pro VT323 Droid Sans Mono Cousine PT Mono Ubuntu Mono Overpass Mono Anonymous Pro Oxygen Mono Space Mono Share Tech Mono Cutive Mono Fira Mono Nova Mono We could test some of these on all platforms and then provide a combo with the ones we know work. Note that Source Code Pro is one of the fonts. Adobe must have let them use it. I haven't read the legal stuff yet - I'm sure we would need a CQ - but Google says "Free to use". Here's the faq: https://developers.google.com/fonts/faq All the main browsers are supported: https://developers.google.com/fonts/faq#which_browsers_are_supported Note that they do have a (dynamic) "list fonts" feature, but I don't think we should use it (i.e. we should only allow fonts that we know behave well in textview on all platforms).
CQ to use the fonts is here: https://dev.eclipse.org/ipzilla/show_bug.cgi?id=14176
