(edit_buffer_write_file): new editor buffer API.
commit64760b56c50bd851c9130aa5ed76a3b954c51f5c
authorAndrew Borodin <aborodin@vmail.ru>
Fri, 15 Feb 2013 10:47:59 +0000 (15 14:47 +0400)
committerAndrew Borodin <aborodin@vmail.ru>
Fri, 5 Jul 2013 05:09:02 +0000 (5 09:09 +0400)
tree0e8888f7fd2edc48068165794cd15013283d3d3f
parente6ff98d239f1ca5fb81fefc84ef22b2872a32ac5
(edit_buffer_write_file): new editor buffer API.

Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
src/editor/editbuffer.c
src/editor/editbuffer.h
src/editor/editcmd.c