Commit d78dfbb1 authored by Christoph Ender's avatar Christoph Ender
Browse files

Implemented flush-on-newline, paragraph-attribute.

Implemented “flush-output-on-newline” configuration option. This will
ensure that any output is flushed to history and interface before a
newline. This allows interfaces to store paragraph-relevant attribtues
in the history with minor fuzz.

Added new metadata-type “paragraph attribute” for the purpose
described above.

Minor changes in processing when converting font 3 to unicode.
parent faa9a76b
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment