Allan Odgaard 94230858f8 Abort if unable to reload document ...

This should be handled better, but previously we would crash due to filling the stack, so better to just immediately abort when we detect the problem, so that we get a better crash report and can see how widespread the issue is.

2013-10-19 23:34:41 +02:00

..

src

Abort if unable to reload document

2013-10-19 23:34:41 +02:00

tests

Fix path/inode lookup when opening documents

2013-07-30 15:34:17 +02:00

target

Reload file using most probable charset when it changes on disk

2013-10-05 14:32:36 +02:00