Skip to content

Windows 10: Mini Micro Editor Horizontal Scroll Bar Bug (Shift + Mouse Wheel Not Working) #41

@Marutzo

Description

@Marutzo

Description:
In the Mini Micro built-in editor (opened via edit), horizontal scrolling using Shift + Mouse Wheel does not work on Windows 10. The only way to scroll horizontally is by manually dragging the horizontal scroll bar, which slows down navigation in scripts with long lines.

Steps to Reproduce:

  1. Launch Mini Micro on Windows 10.
  2. Open the built-in editor by typing edit.
  3. Enter or open a script that contains long lines that extend past the visible editor window width.
  4. Attempt to scroll horizontally by holding Shift and using the mouse wheel.
  5. Notice that no horizontal scrolling occurs.
  6. Try dragging the horizontal scroll bar with the mouse — this works, but is less convenient.

Expected Behavior:
Holding Shift and scrolling with the mouse wheel should scroll the editor horizontally.

Actual Behavior:
No horizontal scrolling occurs when using Shift + Mouse Wheel in the Mini Micro editor.

Environment:

  • OS: Windows 10
  • Application: Mini Micro 1.2.5
  • Input: Mouse with scroll wheel

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions