[wingide-users] Two questions...

[Wing IDE Support]

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
> file".

We've released a patch for this, which can be installed via Help ->
Check for Updates.

Cheers,

John