6 Commits

Author	SHA1	Message	Date
Klaus Basan	09c3e06660	Settings UI adjustments	2018-09-08 15:36:20 +02:00
Klaus Basan	f87a06f6d2	refs #617, naming conventions for UI	2017-02-24 15:20:38 +00:00
Klaus Basan	de011dab1e	Formatting / style	2015-11-19 21:07:28 +00:00
Roland Winklmeier	5a82e2e6bf	refs #454 Improve hotkey settings component	2015-11-19 20:58:02 +00:00
Klaus Basan	4cafc259bb	Some workarounds for GUI issues ( refs #419 ) ... * info bar getting too wide * buttons floating into tabbat	2015-05-30 18:18:42 +02:00
Klaus Basan	6119c22c78	some fixes noticed during today's discussion around refs #302 ... * move hotkey settings in own GUI component -> easier adjustments * some fixes for dock widgets when tab widget is shown without names (unrelated but found + fixed in same step)	2015-05-12 21:03:41 +01:00