make slider easier to acquire on the extremes

akkartik

Nov 21, 2023, 10:22 AM

GRB4J4QKL4UDO5HUFA7IO3LI4OCMWRSMONUJF565R3ILCPJE2XGAC

Dependencies

• [2] JV27LDDK sliders for font size and color settings

Change contents

• replacement in 0087-on_slider at line 2
  [2.732]→[2.732:783](∅→∅)
  − if x < slider.x0 or x > slider.x1 then return end
  [2.732]

  [2.783]
  + if x < slider.x0-slider.w/2 or x > slider.x1+slider.w/2 then return end