Mutators GUI: fixed dissapearing mutators while trying to scroll
This commit is contained in:
parent
4b890a616a
commit
a271e08f16
1 changed files with 9 additions and 6 deletions
|
@ -335,7 +335,9 @@ end
|
||||||
|
|
||||||
-- Reads scrollbar input and if it was changed, set current page according to the new scrollbar position
|
-- Reads scrollbar input and if it was changed, set current page according to the new scrollbar position
|
||||||
local function update_scrollbar_input()
|
local function update_scrollbar_input()
|
||||||
local scrollbar_info = _OTHER_WIDGETS.scrollbar.content.scroll_bar_info
|
local scrollbar_widget_content = _OTHER_WIDGETS.scrollbar.content
|
||||||
|
if scrollbar_widget_content.visible then
|
||||||
|
local scrollbar_info = scrollbar_widget_content.scroll_bar_info
|
||||||
local value = scrollbar_info.value
|
local value = scrollbar_info.value
|
||||||
local old_value = scrollbar_info.old_value
|
local old_value = scrollbar_info.old_value
|
||||||
if value ~= old_value then
|
if value ~= old_value then
|
||||||
|
@ -343,6 +345,7 @@ local function update_scrollbar_input()
|
||||||
scrollbar_info.old_value = value
|
scrollbar_info.old_value = value
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
end
|
||||||
|
|
||||||
|
|
||||||
-- Reads mousewheel scrolls from corresponding widget and changes current page number, if possible.
|
-- Reads mousewheel scrolls from corresponding widget and changes current page number, if possible.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue