bugfix: tapping in scrollbar area

akkartik

Dec 3, 2023, 2:38 AM

CMZDG7CJKY4AO2RTV7C54WHUEHYQXDTN57R4Y5ZADZBSLNOOBDFQC

Dependencies

• [2] EHKB76GO UI improvement: more stable scrollbar movement
• [3] JV27LDDK sliders for font size and color settings
• [4] 6DJMOJKE support event handlers
• [5] NVZTMKER partition handlers between screen regions
• [6] IP4LD33D mouse events for scrollbar
• [7] Z5M23NTK implement second, 'output' editor
• [*] R5QXEHUI somebody stop me
• [*] ZM7NOBRM new fork: carousel shell

Change contents

• file addition: 0151-compute_scrollbar_topy (----------)
  [9.2]
  + compute_scrollbar_topy = function(state)

  + local f = compute_scrollbar(state)

  + return state.top + f*(state.bottom - state.top)

  + end
• replacement in 0036-adjust_scrollbar at line 2
  [3.525]→[2.0:75](∅→∅)
  − local s = (y-state.scrollbar_offset-state.top) / (state.bottom-state.top)
  [3.525]

  [3.577]
  + if state.scrollbar_offset then

  + -- dragging

  + y = y-state.scrollbar_offset

  + end

  + local s = (y-state.top) / (state.bottom-state.top)
• replacement in 0016-on.mouse_press at line 26
  [3.1462]→[2.189:309](∅→∅)
  − local sbtop = compute_scrollbar(Current_pane.editor_state)

  − Current_pane.editor_state.scrollbar_offset = y - sbtop
  [3.1462]

  [3.1462]
  + local sbtopy = compute_scrollbar_topy(Current_pane.editor_state)

  + Current_pane.editor_state.scrollbar_offset = y - sbtopy

  + print(y, sbtopy, y-sbtopy)
• replacement in 0016-on.mouse_press at line 36
  [3.1893]→[2.310:379](∅→∅)
  − local sbtop = compute_scrollbar(Current_pane.output_editor_state)
  [3.1893]

  [2.379]
  + local sbtopy = compute_scrollbar_topy(Current_pane.output_editor_state)