Allan Odgaard 15dceafd20 Provide save dialog with document’s file type for encoding settings ...

Previously the save dialog would update encoding settings solely based on the path, but the user could set different line endings or character set for a file type (rather than extension).

2016-11-01 20:42:59 +07:00

..

src

Provide save dialog with document’s file type for encoding settings

2016-11-01 20:42:59 +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