Allan Odgaard 78a71705bc Cache document’s display name to avoid repeated file system stats ...

This would be slowing down editing when using a high-latency file system, as the document’s display name would be fetched each time the window was updated.

2016-12-03 21:43:04 +07:00

..

src

Cache document’s display name to avoid repeated file system stats

2016-12-03 21:43:04 +07:00

tests

Remove document_t and related tests

2016-10-17 10:07:29 +02:00

target

Remove document_t and related tests

2016-10-17 10:07:29 +02:00