diff Makefile @ 939:997de286ba0c

editor: add close_file(), enforce file batons semantics Supporting close_file() is a big step toward reducing memory consumption as now know which files are still to be edited and which are done already.
author Patrick Mezard <patrick@mezard.eu>
date Mon, 24 Sep 2012 23:12:01 +0200
parents 055f9254d790
children
line wrap: on
line diff