Allan Odgaard c26a61a749 Remove “grammar changed” callback ...

This would cause a crash if grammar changed on disk for a document which was closed but not disposed.

2013-02-18 15:38:26 +01:00

..

collection.cc

Simplify document open API

2013-01-10 06:46:44 +01:00

collection.h

Simplify document open API

2013-01-10 06:46:44 +01:00

document.cc

Remove “grammar changed” callback

2013-02-18 15:38:26 +01:00

document.h

Allow excluding untitled documents from document::scanner_t

2013-01-18 05:46:27 +01:00

merge.cc

Initial commit

2012-08-09 16:25:56 +02:00

merge.h

Initial commit

2012-08-09 16:25:56 +02:00

reader.cc

Initial commit

2012-08-09 16:25:56 +02:00

reader.h

Initial commit

2012-08-09 16:25:56 +02:00

watch.cc

When file is renamed, check if a new file takes its place

2012-09-10 23:17:32 +02:00

watch.h

Initial commit

2012-08-09 16:25:56 +02:00