round scrollbar slightly

akkartik

Nov 18, 2023, 10:43 PM

LBQBZT4I5CMGWZMLANB2ENFHT2Y6BGKYUOZDMULOPDR5X7HNWUBQC

Dependencies

• [2] RLZTVQN6 slightly inset the scrollbar within its area
• [3] IP4LD33D mouse events for scrollbar
• [4] MZ3DMYPD start sketching out a scrollbar
• [5] G4TDWMNZ no, make the scrollbar easier to acquire

Change contents

• replacement in 0034-draw_scrollbar at line 10
  [3.3030]→[2.0:95](∅→∅)
  − love.graphics.rectangle('fill', Editor_state.right+15, topy+5, 30, math.max(boty-topy-10, 5))
  [3.3030]

  [3.1146]
  + love.graphics.rectangle('fill', Editor_state.right+15, topy+5, 30, math.max(boty-topy-10, 5), 5,5)
• replacement in 0034-draw_scrollbar at line 13
  [3.1207]→[2.96:100](∅→∅)
  − end
  [3.1207]
  + end