Zachary Yedidia 19717dd3ae Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00

..

bindings.go

Add history navigation with up and down arrows

2016-05-28 18:41:53 -04:00

buffer.go

Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00

colorscheme.go

…

command.go

Add savecursor option

2016-05-28 17:29:49 -04:00

cursor.go

Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00

eventhandler.go

Add persistent undo as the option

2016-05-29 11:02:56 -04:00

help.go

…

highlighter.go

…

messenger.go

Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00

micro.go

Add history navigation with up and down arrows

2016-05-28 18:41:53 -04:00

plugin.go

…

runtime.go

Add persistent undo as the option

2016-05-29 11:02:56 -04:00

search.go

Add history navigation with up and down arrows

2016-05-28 18:41:53 -04:00

settings.go

Add persistent undo as the option

2016-05-29 11:02:56 -04:00

stack.go

Add persistent undo as the option

2016-05-29 11:02:56 -04:00

statusline.go

Add savecursor option

2016-05-28 17:29:49 -04:00

util_test.go

…

util.go

Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00

view.go

Check if the file being edited has been modified by an external program

2016-05-29 17:58:06 -04:00