[wingide-users] After upgrade to Ubuntu 10.10 fonts are real big
mvcalder at gmail.com
Tue Oct 26 14:34:31 MDT 2010
Indeed, the "User Interface" was highlighted, but apparently not
really selected (the dialog was blank). Clicking it made the dialog
appear and then I was able to set the fonts the way I wanted. Just so
you don't think I am a complete idiot, I am attaching a screenshot of
what I see when I select Edit-Preferences.
On Tue, Oct 26, 2010 at 4:19 PM, Wingware Support <support at wingware.com> wrote:
> On 10/26/10 2:27 PM, Matt Calder wrote:
>> Subject says it all. I "upgraded" to Ubuntu 10.10 (I cannot recommend
>> this, this font thing is just the tip of the new problems iceberg) now
>> the fonts in Wing are large. Other applications do not seem to have
>> this issue. I can use the mouse wheel to reduce their size, but I
>> would like to set a default somehow. I could not see how in the
>> Edit-Preferences dialog. Any help?
> The first preferences page contains font size choices. Click on
> "User Interface" in the top left of the preferences GUI. It may be that
> this is not auto-selected in your case, depending on which GTK version
> you are using.
> Stephan Deibel
> Wingware | Python IDE
> Advancing Software Development
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 27221 bytes
Desc: not available
Url : /pipermail/wingide-users/attachments/20101026/53fcf182/prefscreen.jpg
More information about the wingide-users