1 Commits

Author	SHA1	Message	Date
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