Migrate ButtonWidget to NamedHotkey.

2017-07-23 14:25:27 +00:00
parent 42bf232b37
commit 1e0148e092
20 changed files with 120 additions and 100 deletions
--- a/mods/common/chrome/editor.yaml
+++ b/mods/common/chrome/editor.yaml
@@ -431,6 +431,7 @@ Container@EDITOR_WORLD_ROOT:
 			Width: 70
 			Height: 25
 			Font: Bold
+			Key: TogglePixelDouble
 		Label@COORDINATE_LABEL:
 			X: 485
 			Width: 50