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