Pull requests: zyedidia/micro
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs: Added installation instruction using winget
#3097
opened Dec 16, 2023 by
fluentmoheshwar
Loading…
Fix cursor moving down when selection exist. Solves (#3087)
#3091
opened Dec 13, 2023 by
dustdfg
Loading…
splits: extract function for finding index of the split in parent
#3077
opened Dec 5, 2023 by
dustdfg
Loading…
Fix split pane divider hovering over neighboring split pane
#3070
opened Dec 3, 2023 by
dmaluka
Loading…
Fix ruler overwriting neighboring split pane + fix crash #3052
#3069
opened Dec 3, 2023 by
dmaluka
Loading…
rtfiles: Give user defined runtime files precedence over asset files
#3066
opened Dec 1, 2023 by
JoeKar
Loading…
Tell user that option can't be set locally when user tries to set global only option
#3064
opened Dec 1, 2023 by
dustdfg
Loading…
command: Fix
reload command to correctly initialize and reload all runtime files
#3062
opened Nov 30, 2023 by
JoeKar
Loading…
Highlight autcompleted command in statusline for simple theme
#3057
opened Nov 30, 2023 by
dustdfg
Loading…
command: Fix set local-only options for the current buffer only
#3042
opened Nov 26, 2023 by
JoeKar
Loading…
termwindow: Show cursor only when his X and Y axis is smaller than the window size
#3036
opened Nov 23, 2023 by
JoeKar
Loading…
micro: DoEvent: Don't forward the resize event into the InfoBar
#3035
opened Nov 23, 2023 by
JoeKar
Loading…
Make plugins in
~/.config/micro/plug dir override built-in plugins
#3031
opened Nov 19, 2023 by
dmaluka
Loading…
Reduce the available string option validators and add autocompletion for them
#3021
opened Nov 10, 2023 by
JoeKar
Loading…
Fix overwriting persistent non-default settings in
settings.json with temporary default settings
#3010
opened Nov 3, 2023 by
dmaluka
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.