Zachary Yedidia 185b8de17b Merge branch 'issue_1008' of https://github.com/sum01/micro into sum01-issue_1008

2020-02-10 14:59:31 -05:00

..

action

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

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

buffer

Fix rehighlight for retab

2020-02-10 14:49:08 -05:00

config

Merge branch 'issue_1008' of https://github.com/sum01/micro into sum01-issue_1008

2020-02-10 14:59:31 -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