show current pane number

akkartik

Nov 21, 2023, 2:19 AM

FPSPT5TMWUJXWC4GYWRXHS3ZB6MBLRJACIRMGE3ACQI75CV72X4AC

Dependencies

• [2] I52S4E5F running `print` now appends to output editor
• [3] PRE6XPRN responsively increase/decrease font height
• [4] 4QFVRJ5U get rid of pane transition animations
• [5] VAVXKWZV aggregate global state inside a 'pane' object
• [6] 5RUFNRJO start of the visual skeleton
• [7] 4GX6NAY4 some very basic animations for switching panes

Change contents

• replacement in 0051-run_button at line 1
  [2.1]→[2.2:149](∅→∅)
  − run_button = function()

  − button(Global_state, 'run', {x=Menu_left+5, y=Menu_top+5, w=App.width('Run')+10, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
  [2.1]

  [2.149]
  + run_button = function(x)

  + local w = App.width('Run')+10

  + button(Global_state, 'run', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},
• edit in 0051-run_button at line 38
  [2.1365]

  [2.1365]
  + return x+w
• edit in 0021-draw_menu at line 4
  [3.825]

  [3.746]
  + App.color(Normal_color)

  + local x = Menu_left+5

  + love.graphics.print(Current_pane_index, x, Menu_top+5)

  + x = x + App.width(tostring(Current_pane_index)) + 5
• replacement in 0021-draw_menu at line 9
  [3.763]→[2.1665:1679](∅→∅)
  − run_button()
  [3.763]

  [3.957]
  + x = run_button(x)