Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
selection.
|
|
1.) "forall" and "where" statement folding bug.
2.) simple folding with "do label" structure.
3.) label colourise bug.
4.) number colourise bug (such as 1.D0)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
limit hotspots to a single line.
|
|
|
|
Metapost lexer.
Export as XML.
|
|
|
|
|
|
|
|
unwanted warnings.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
code.
|
|
|
|
WordList.
|
|
Bug fixed in LayoutLine when determining if line has not changed.
|
|
that is not present.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
down arrows.
|
|
|
|
|
|
|
|
|
|
|