Karl Traunmüller
Karl Traunmüller
A ligature at the end of a section, e.g. ``` \section{Stuff} ``` is somehow masked out when the section is selected: This only seems to occur if the ligature is...
``` \verb|\documentclass| ``` → ScopeParser finds scope `\documentclass`, not `\verb`
For the upper line of this, source information is not correct (because of the newline?) ``` \begin{verbatim} \usepackage{times} \usepackage{mathptm} \end{verbatim} ``` Also here ``` \begin{verbatim} \DeclareMathOperator{\id}{id} \end{verbatim} ```
- Use a larger document (e.g. "torch & sword"), scroll around, see if any suspicious allocations come up. - Also, we might leak memory when closing a document window (repeatedly...
Consider adding special selection commands that select an entire section, part, etc
Add a "Clear" button to the Messages pane that clears out any messages.
(as of the current state of work on 1.5.6) **Steps to reproduce** - Create a new Article - Quit and relaunch the app **Observed** - Compositor opens an empty document...