[wingide-users] Two questions...
Wing IDE Support
support at wingware.com
Fri Jan 18 13:16:55 EST 2013
On 1/18/13 11:10 AM, aabelyakov wrote:
> OS: Ubuntu 12.04 x64 WingIDE: 4.1.10-1 (rev 27942) 1. Do not change the
> font on the tab "User Interface: General" after installing the radio
> switch to the position "Use selected font/size".
You may need to restart Wing here. This also interacts with the gtk
theme in use and may not work with some themes -- it may be better to
set the size through Gnome / KDE settings.
> 2. Not highlighted when
> you select the file name from the context menu item "Set as Main debug
We've released a patch for this, which can be installed via Help ->
Check for Updates.
More information about the wingide-users