| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
options
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
toggled on/off.
|
| | |
|
| | |
|
| |
|
|
| |
font prop must be given first
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
option.
|
| | |
|
| |
|
|
| |
Enable fontsets command on menu always for now.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Still faulty.
|
| |
|
|
| |
Part of patch from Simon Winwood.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
further annotations (e.g. a symbol denotes a bold character or special font).
Fix a compatibility issue with MMM (avoid changing encoding on indirect buffer)
Fix removing face properties when turning off (re fontify).
Don't try to save properties: face (giving up on temporarily on bold) or autocompose.
|
| |
|
|
| |
for singleton controls (which are a nuisance enough already).
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
mode switch on/off: discard undo history -- edits inside tokens get
mapped to wrong positions afterwards, so undo garbles source.
|
| |
|
|
|
| |
converted first, which is more likely to give correct results for
text that has multiple possible de/encodings.
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
Add unicode-tokens-rotate-glyph-{forward,backward}.
|
| | |
|
| | |
|
| |
|
David Aspinall
Makarius Wenzel