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) thenreturnendif not on_area(Settings_menu_area, x,y) thenif Show_settings then-- On mobile devices, we can't depend on on.save_settings() triggering on quit
-- == settings areaif Show_settings thenif on_area(Settings_menu_area, x,y) thenmouse_on_any_slider(x,y, mouse_button)elseShow_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.