Mike's suggested button layout

akkartik

Nov 22, 2023, 7:12 AM

GWLETNMWE7L7P3YBVUFZGBNT3DKHB7IT7ZJ54FUCNYLC72UNCXGAC

Dependencies

• [2] RK2ASPN7 add lots of buttons to the toolbar
• [3] PRE6XPRN responsively increase/decrease font height
• [4] I52S4E5F running `print` now appends to output editor
• [5] HVXZLNCC send errors from event handlers to output editor
• [6] FPSPT5TM show current pane number
• [*] R5QXEHUI somebody stop me
• [*] 5RUFNRJO start of the visual skeleton

Change contents

• file addition: 0106-stop_button (----------)
  [8.2]
  + stop_button = function(x)

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

  + button(Global_state, 'stop', {x=x, y=Menu_top+5, w=w, h=Line_height, bg={r=0.6, g=0.8, b=0.6},

  + icon = function(p)

  + App.color(Normal_color)

  + love.graphics.rectangle('line', p.x,p.y, p.w,p.h, 2,2)

  + love.graphics.print('stop', p.x+5,p.y+2)

  + end,

  + onpress1 = clear_handlers,

  + })

  + return x+w+10

  + end
• replacement in 0051-run_button at line 2
  [3.56]→[3.56:87](∅→∅)
  − local w = App.width('Run')+10
  [3.56]

  [3.87]
  + local w = App.width('run')+10
• replacement in 0051-run_button at line 7
  [3.255]→[3.255:298](∅→∅)
  − love.graphics.print('Run', p.x+5,p.y+2)
  [3.255]

  [3.298]
  + love.graphics.print('run', p.x+5,p.y+2)
• edit in 0021-draw_menu at line 11
  [3.398]

  [2.7838]
  + x = stop_button(x)

  + App.color{r=0.5, g=0.5, b=0.5}

  + love.graphics.print('code', x, Menu_top+5)

  + x = x+App.width('code')+10
• edit in 0021-draw_menu at line 22
  [2.7961]→[2.7961:8015](∅→∅)
  − x = new_pane_button(x)

  − x = duplicate_pane_button(x)
• edit in 0021-draw_menu at line 23
  [2.8041]

  [2.8041]
  + App.color{r=0.5, g=0.5, b=0.5}

  + love.graphics.print('screen', x, Menu_top+5)

  + x = x+App.width('screen')+10

  + x = new_pane_button(x)