Actually embed GUI changes from 91d5c4a...

This commit is contained in:
Jakob Borg 2014-02-13 09:26:10 +01:00
parent 6c8135126d
commit 5daf6ecf70

File diff suppressed because one or more lines are too long