Fixed Scrolls?

This commit is contained in:
Cooldude2606
2018-02-10 16:46:31 +00:00
parent e80735daa1
commit 4ac76f47d9
2 changed files with 4 additions and 2 deletions

View File

@@ -52,9 +52,10 @@ Gui.left.add{
name='scroll', name='scroll',
type = 'scroll-pane', type = 'scroll-pane',
direction = 'vertical', direction = 'vertical',
vertical_scroll_policy='always', vertical_scroll_policy='auto',
horizontal_scroll_policy='never' horizontal_scroll_policy='never'
} }
player_list.vertical_scroll_policy = 'auto'
player_list.style.maximal_height=200 player_list.style.maximal_height=200
for _,rank in pairs(Ranking._ranks()) do for _,rank in pairs(Ranking._ranks()) do
for _,player in pairs(rank:get_players(true)) do for _,player in pairs(rank:get_players(true)) do

View File

@@ -137,9 +137,10 @@ Gui.left.add{
local warp_list = frame.add{ local warp_list = frame.add{
type='scroll-pane', type='scroll-pane',
direction='vertical', direction='vertical',
vertical_scroll_policy='always', vertical_scroll_policy='auto',
horizontal_scroll_policy='never' horizontal_scroll_policy='never'
} }
warp_list.vertical_scroll_policy = 'auto'
warp_list.style.maximal_height = 150 warp_list.style.maximal_height = 150
local table = warp_list.add{ local table = warp_list.add{
type='table', type='table',