Version 1.2 - more advanced bot, new hotkeys, bug fixes

modules/game_bot/bot.otui

@@ -1,46 +1,3 @@
-BotButton < Button
-  margin-top: 2
-
-BotSwitch < Button
-  margin-top: 2
-  height: 20
-  image-color: green
-  $!on:
-    image-color: red
-    
-BotLabel < Label
-  margin-top: 2
-  height: 20
-  text-auto-resize: true
-  text-align: center
-  text-wrap: true
-    
-BotItem < Item
-  virtual: true
-  &selectable: true
-
-BotTextEdit < TextEdit  
-  @onClick: modules.game_textedit.show(self)
-  text-align: center
-  multiline: false
-  focusable: false
-  
-BotSeparator < HorizontalSeparator
-  margin-top: 5
-  margin-bottom: 3
-
-BotPanel < Panel
-  layout:
-    type: verticalBox
-    
-CaveBotLabel < Label
-  background-color: alpha
-  text-offset: 2 0
-  focusable: true
-
-  $focus:
-    background-color: #00000055
-    
 MiniWindow
   id: botWindow
   !text: tr('Bot')