Allan Odgaard a05088f9be Document from content now sets file type and tab settings ...

Presently we also set file type (and thus indirectly indent settings) when “opening” a document, but I wish to remove that code, so that one can create a document, set all desired settings, and not worry about later code overwriting these settings.

2013-07-29 13:56:15 +02:00

..

src

Document from content now sets file type and tab settings

2013-07-29 13:56:15 +02:00

tests

Use byte range for replacement API

2013-07-27 16:30:02 +02:00

target

Remove procedural API for load/save of session

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