This fixes one bug I know of: dragging the mouse atop the settings menu was selecting text in the editor underneath.
NVZTMKERX3NCKNKRYOTAHNVT7CDVHQW3KMVLH35USH5D3TCIQOXQC
RVJNNICYVRHL6NXTFGKMOT4JQFQYLORAINWYXIXFJZC55JRM5VBQC
BQTHWI4ATNV7Q7K2Y3BV2MVFUNVNQGAU3QU6EZ54LATEREOKC6CQC
R5QXEHUIZLELJGGCZAE7ATNS3CLRJ7JFRENMGH4XXH24C5WABZDQC
ZM7NOBRMD5HHA35Y4JDC76EOA2RD4KQOQCPURXYKXA6ABMKOJIGQC
JV27LDDKKY57IEBWGBFPSHEARMOEGLBYGBJD27PDPTNWWYXA4T6AC
6DJMOJKEO5DIOEDV655SPA7C7HN2HXWMDJ7UF2CRDRBAF5YO3UEAC
LGIEVJE6W72DAIY7NEWDIMPSI6K5GR2M4BREPQ4TYFWCZYGA6MHQC
VAVXKWZVOFJGWHCWYLTPDKSKKMSJEBKXNKXUW3T6IZAC3HE6HOIQC
5MEJ7XNHNFG2BIX3TFU6PDJHSJOS2Z45L25QAZKFGRW7ZNOFEUKAC
5RUFNRJOK3PXQKJTPDEN5K5PI67MGB25QUA44WOCCH2O5KHXT45QC
UEG224LHBOPWSKOVXTKVAUEL47HET566LJF7ZSWVKMMLBSJWUHFAC
HVXZLNCCLSMOKMA6TU7H7LKCRH5TAOP3X3EY6MEWFWZRWMVHEFWQC
Button_pressed = nil
if mouse_on_any_slider(x,y, mouse_button) then
return
end
if not on_area(Settings_menu_area, x,y) then
if Show_settings then
-- On mobile devices, we can't depend on on.save_settings() triggering on quit
-- == settings area
if Show_settings then
if on_area(Settings_menu_area, x,y) then
mouse_on_any_slider(x,y, mouse_button)
else
Show_settings = false
-- On mobile devices, we can't depend on on.save_settings() triggering on quit.
-- So save settings every time we close the settings menu.