Increase font size in "Logs & others" tabs - SVN 10358

[warpino]

hi all,

the font size in the tabs of the "Logs & others" pane is very small. How can I increase it?
There is no "Settings -> Environment -> View -> Message logs" option in the menu, as suggested here http://forums.next.codeblocks.org/index.php?topic=13063.0 .

I am using SVN 10358 on Mac OS X 10.10

w

[MortenMacFly]

...there really should be, see here:

[warpino]

Mmmmm, I am afraid I have a different (and more serious) problem then. For some reason, probably related to the wxWidgets 3.1 update, I am not able to resize the "Environment settings" window, so I cannot see that option. The size of the window is such that at the bottom I have: "Save selected tab in message pane on perspective change".

Any suggestions?

w

[oBFusCATed]

Can you show a screen shot? On linux + wx3.1 it works as expected.

[warpino]

here you go

[oBFusCATed]

Bleh...Something is different in wx3.x, because in the wx2.8 version I cannot resize this dialog, but in wx3.x I can (but it doesn't work that well).

[warpino]

For the time being, is this preference stored somewhere I can change it manually?

Thanks