hide other menus when opening one

akkartik

Nov 25, 2023, 5:10 PM

YS4AQXJCA4AB2XEVZH3C6SPMVNJAYVQJNXTV2WNQNDKZM6E7ZLOQC

Dependencies

• [2] 5MEJ7XNH lay out buttons based on device dimensions
• [*] RK2ASPN7 add lots of buttons to the toolbar
• [*] JV27LDDK sliders for font size and color settings

Change contents

• edit in 0109-overflow_button at line 11
  [2.912]

  [2.912]
  + if Show_overflow then Show_settings = false end
• edit in 0072-settings_button at line 10
  [5.5557]

  [4.1705]
  + if Show_settings then Show_overflow = false end