slightly inset the scrollbar within its area

akkartik

Nov 18, 2023, 10:42 PM

RLZTVQN6FBR2UNPNY7ZCOOTU6PBAKTOUGOJYN6PPAOINZOUHOFQAC

Dependencies

• [2] G4TDWMNZ no, make the scrollbar easier to acquire
• [3] MZ3DMYPD start sketching out a scrollbar
• [4] IP4LD33D mouse events for scrollbar

Change contents

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

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