Marc Zinnschlag 99500f4021 make initial size of script error panel configurable (Fixes #2996)

2015-11-21 14:28:40 +01:00

..

connector.cpp

Silence -Wreorder warnings, and remove -Wno-reorder.

2015-05-21 22:46:44 -05:00

connector.hpp

Removed unneeded includes, cleaned up code, added comments

2014-05-06 21:58:50 -05:00

setting.cpp

added tooltip support to user settings UI

2014-10-16 16:22:36 +02:00

setting.hpp

added tooltip support to user settings UI

2014-10-16 16:22:36 +02:00

support.hpp

added tooltip support to user settings UI

2014-10-16 16:22:36 +02:00

usersettings.cpp

make initial size of script error panel configurable (Fixes #2996)

2015-11-21 14:28:40 +01:00

usersettings.hpp

name convention and spelling fixes

2014-10-16 14:24:17 +02:00