Branch: refs/heads/master
Home: https://github.com/yi-editor/yi
Commit: 669d1eb6d8969fd27955f77e16d51f7df06b8f8c
https://github.com/yi-editor/yi/commit/669d1eb6d8969fd27955f77e16d51f7df06b8f8c
Author: Dmitry Ivanov <etherc...@gmail.com>
Date: 2012-08-26 (Sun, 26 Aug 2012)
Changed paths:
M yi/src/library/Yi/Config.hs
M yi/src/library/Yi/Config/Default.hs
M yi/src/library/Yi/Core.hs
Log Message:
-----------
Make file change polling on every refresh optional.
Commit: 309bc4f868cf03b09d1e2fddfcf6230c84d46108
https://github.com/yi-editor/yi/commit/309bc4f868cf03b09d1e2fddfcf6230c84d46108
Author: Jean-Philippe Bernardy <jeanphilippe.berna...@gmail.com>
Date: 2012-09-10 (Mon, 10 Sep 2012)
Changed paths:
M yi/src/library/Yi/Config.hs
M yi/src/library/Yi/Config/Default.hs
M yi/src/library/Yi/Core.hs
Log Message:
-----------
Merge pull request #38 from ethercrow/optional_filechange_polling
Make file change polling on every refresh optional.
Compare: https://github.com/yi-editor/yi/compare/bf5b4595f296...309bc4f868cf
--
Yi development mailing list
yi-devel@googlegroups.com
http://groups.google.com/group/yi-devel
