no, make the scrollbar easier to acquire

akkartik

Nov 18, 2023, 1:45 PM

G4TDWMNZWMZNJTVVCUO7OUX5DWMTW2BP5KCCZPWZLJCJLQ7QV5AQC

Dependencies

• [2] IP4LD33D mouse events for scrollbar
• [3] N6JEX2X6 remove an assertion
• [4] OV6FE23R Merge text0
• [5] R2ASHK5C fix a bad merge
• [6] MZ3DMYPD start sketching out a scrollbar
• [*] 2L5MEZV3 experiment: new edit namespace

Change contents

• replacement in edit.lua at line 116
  [4.339]→[3.0:77](∅→∅)
  − State.cursor1 = {line=State.screen_top1.line, pos=State.screen_top1.pos}
  [4.339]

  [4.453]
  + print(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos)

  + assert(false)
• replacement in 0040-on_editor_scrollbar_area at line 2
  [2.97]→[2.97:189](∅→∅)
  − if x < Editor_state.right+20 then return end

  − if x > Editor_state.right+40 then return end
  [2.97]

  [2.189]
  + if x < Editor_state.right+15 then return end

  + if x > Editor_state.right+45 then return end
• replacement in 0038-on_editor_scrollbar at line 2
  [2.377]→[2.377:469](∅→∅)
  − if x < Editor_state.right+20 then return end

  − if x > Editor_state.right+40 then return end
  [2.377]

  [2.469]
  + if x < Editor_state.right+15 then return end

  + if x > Editor_state.right+45 then return end
• replacement in 0034-draw_scrollbar at line 10
  [4.3030]→[4.3030:3107](∅→∅)
  − love.graphics.rectangle('fill', Editor_state.right+20, topy, 20, boty-topy)
  [4.3030]

  [2.1146]
  + love.graphics.rectangle('fill', Editor_state.right+15, topy, 30, boty-topy)