fix a long-standing issue with tooltips

akkartik

May 20, 2024, 7:51 AM

FLXBLICQPMRLRQRDKTZ2QAO7HSHEMLRZ47JULUZAHR2DOTCV3UEAC

Dependencies

• [2] FMSRUE5S only show tooltips when window in focus
• [3] OJGIQLZW bugfix: only check for settings menu when open
• [4] 2Q437U4F starting to experiment with animated pane transitions
• [5] ZM7NOBRM new fork: carousel shell
• [6] 5RUFNRJO start of the visual skeleton
• [7] KCFQO6K5 clean up some debug drawing
• [8] 4HCP3NTO draw code editor after menu and output
• [9] 2NEL7TGN no, go back to drawing the menu after the editor
• [10] Q3EQI5LI some keyboard shortcuts on non-mobile devices
• [*] R5QXEHUI somebody stop me

Change contents

• file addition: 0180-on.mouse_focus (----------)
  [12.2]
  + on.mouse_focus = function(in_focus)

  + Mouse_on_window = in_focus

  + end
• file addition: 0179-Mouse_on_window (----------)
  [12.2]
  + Mouse_on_window = true
• replacement in 0012-on.draw at line 28
  [3.2223]→[2.336:361](∅→∅)
  − if Window_in_focus then
  [3.2223]

  [2.361]
  + if Window_in_focus and Mouse_on_window then