Hi, I've just been poking around the new GUIs - neat!! But the font is absolutely enormous, which is terrifically annoying. Where do I change it? (I didn't see it in the preferences.) Cheers phx
On Sep 30, 2009, at 1:20 AM, Frank von Delft wrote:
But the font is absolutely enormous, which is terrifically annoying. Where do I change it? (I didn't see it in the preferences.)
I guess this means you're using Linux - GTK has a weird idea of what "12-point" means. Unfortunately, there is no easy way to change the font at the moment. Sorry! It is not especially difficult to fix, however, so it will be in the next version. -Nat ------------------- Nathaniel Echols Lawrence Berkeley Lab 510-486-5136 [email protected]
Yup, it's Linux. So, until the next version (is that "next nightly"?): where do I tell my Linux to change its font to "6-point" instead? Thanks phx Nathaniel Echols wrote:
On Sep 30, 2009, at 1:20 AM, Frank von Delft wrote:
But the font is absolutely enormous, which is terrifically annoying. Where do I change it? (I didn't see it in the preferences.)
I guess this means you're using Linux - GTK has a weird idea of what "12-point" means.
Unfortunately, there is no easy way to change the font at the moment. Sorry! It is not especially difficult to fix, however, so it will be in the next version.
-Nat
------------------- Nathaniel Echols Lawrence Berkeley Lab 510-486-5136 [email protected]
_______________________________________________ phenixbb mailing list [email protected] http://www.phenix-online.org/mailman/listinfo/phenixbb
participants (2)
-
Frank von Delft -
Nathaniel Echols