Zachary Yedidia ecb9fd5a8a Change diffgutter default to false

2020-02-10 00:30:13 -05:00

..

action

Merge branch 'diff-gutter' of https://github.com/p-e-w/micro

2020-02-10 00:28:43 -05:00

buffer

Merge branch 'diff-gutter' of https://github.com/p-e-w/micro

2020-02-10 00:28:43 -05:00

config

Change diffgutter default to false

2020-02-10 00:30:13 -05:00

display

Merge branch 'diff-gutter' of https://github.com/p-e-w/micro

2020-02-10 00:28:43 -05:00

info

Use actual lua functions for callbacks instead of strings

2020-02-08 15:49:41 -05:00

lua

Add linter plugin support

2019-12-25 17:05:10 -05:00

screen

Finish support for a fake cursor

2020-01-01 22:40:51 -05:00

shell

Use actual lua functions for callbacks instead of strings

2020-02-08 15:49:41 -05:00

util

More plugin docs and improve doc formatting

2020-02-08 18:31:06 -05:00

views

Fix unsplit crash

2020-02-08 21:06:13 -05:00