Version 1.4 - Websockets and bug fixes

modules/game_bot/bot.otui

@@ -1,7 +1,7 @@
 MiniWindow
   id: botWindow
   !text: tr('Bot')
-  height: 200
+  height: 600
   icon: /images/topbuttons/bot
   @onClose: modules.game_bot.onMiniWindowClose()
   &save: true
@@ -16,7 +16,7 @@ MiniWindow
       anchors.top: parent.top
       anchors.left: parent.left
       anchors.right: parent.right
-      margin-top: 5
+      margin-top: 2
       margin-right: 90
       text-offset: 3 0
       
@@ -43,7 +43,7 @@ MiniWindow
       anchors.top: prev.bottom
       anchors.left: parent.left
       anchors.right: parent.right
-      margin-top: 5
+      margin-top: 3
       text-auto-resize: true
       !text: tr('Status: waiting')
       text-align: center
@@ -53,7 +53,7 @@ MiniWindow
       anchors.left: parent.left
       anchors.right: parent.right
       anchors.top: prev.bottom
-      margin-top: 5
+      margin-top: 3
 
     Panel
       anchors.top: prev.bottom
@@ -75,7 +75,7 @@ MiniWindow
       anchors.top: prev.bottom
       anchors.left: parent.left
       anchors.right: parent.right
-      tab-spacing: 2
+      tab-spacing: 1
       height: 20
       movable: false