Merge pull request #8582 from Mailaender/hide-ui-hotkey

Added a hide UI hotkey
This commit is contained in:
Oliver Brakmann
2015-06-29 20:16:40 +02:00
5 changed files with 40 additions and 1 deletions

View File

@@ -451,6 +451,20 @@ Container@SETTINGS_PANEL:
X: PARENT_RIGHT-WIDTH+1
Width: 80
Height: 25
Container@DEVELOPER_TEMPLATE:
Width: 262
Height: 25
Visible: false
Children:
Label@FUNCTION:
Y: 0-1
Width: PARENT_RIGHT - 115
Height: 25
Align: Right
HotkeyEntry@HOTKEY:
X: PARENT_RIGHT-WIDTH
Width: 110
Height: 25
Container@ADVANCED_PANEL:
Width: PARENT_RIGHT
Height: PARENT_BOTTOM

View File

@@ -456,6 +456,20 @@ Background@SETTINGS_PANEL:
X: PARENT_RIGHT-WIDTH+1
Width: 80
Height: 25
Container@DEVELOPER_TEMPLATE:
Width: 262
Height: 25
Visible: false
Children:
Label@FUNCTION:
Y: 0-1
Width: PARENT_RIGHT - 115
Height: 25
Align: Right
HotkeyEntry@HOTKEY:
X: PARENT_RIGHT-WIDTH
Width: 110
Height: 25
Container@ADVANCED_PANEL:
X: 5
Y: 50