From c2ff89b2cfa17c6a82262c7724818a5cbf831b27 Mon Sep 17 00:00:00 2001 From: BenDol Date: Sat, 26 Jul 2014 21:56:51 +1200 Subject: [PATCH] Some style fixes & menu-scroll to add server. --- modules/client_serverlist/addserver.otui | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/modules/client_serverlist/addserver.otui b/modules/client_serverlist/addserver.otui index a5d3a2cf..a11b23a2 100644 --- a/modules/client_serverlist/addserver.otui +++ b/modules/client_serverlist/addserver.otui @@ -1,7 +1,7 @@ MainWindow id: addServerWindow !text: tr('New Server') - size: 180 180 + size: 180 195 visible: false @onEscape: AddServer.hide() @onEnter: AddServer.add() @@ -48,6 +48,9 @@ MainWindow anchors.top: protocolLabel.bottom anchors.left: protocolLabel.left anchors.right: port.right + menu-scroll: true + menu-height: 125 + menu-scroll-step: 25 @onSetup: | for _, proto in pairs(g_game.getSupportedClients()) do self:addOption(proto)