38 lines
913 B
Plaintext
38 lines
913 B
Plaintext
|
sub init()
|
||
|
|
m.top.value_index = 0
|
||
|
|
end sub
|
||
|
|
|
||
|
|
sub update_title()
|
||
|
|
if m.top.choices.count() = 0
|
||
|
|
m.top.title = m.top.base_title + ": <none>"
|
||
|
|
return
|
||
|
|
end if
|
||
|
|
|
||
|
|
for i=0 to m.top.choices.count() - 1
|
||
|
|
if m.top.choices[i].value = m.top.value
|
||
|
|
m.top.value_index = i
|
||
|
|
exit for
|
||
|
|
end if
|
||
|
|
end for
|
||
|
|
m.top.title = m.top.base_title + ": " + m.top.choices[m.top.value_index].display
|
||
|
|
end sub
|
||
|
|
|
||
|
|
sub press()
|
||
|
|
max_opt = m.top.choices.count()
|
||
|
|
i = m.top.value_index + 1
|
||
|
|
while i >= max_opt
|
||
|
|
i = i - max_opt
|
||
|
|
end while
|
||
|
|
|
||
|
|
m.top.value_index = i
|
||
|
|
m.top.value = m.top.choices[m.top.value_index].value
|
||
|
|
|
||
|
|
if m.top.config_key = "" or m.top.config_key = invalid
|
||
|
|
return
|
||
|
|
end if
|
||
|
|
if m.top.global_setting
|
||
|
|
set_setting(m.top.config_key, m.top.value)
|
||
|
|
else
|
||
|
|
set_user_setting(m.top.config_key, m.top.value)
|
||
|
|
end if
|
||
|
|
end sub
|