| Age | Commit message (Collapse) | Author |
|
|
|
`unicode-tokens-prepend-text-property'
instead of `font-lock-prepend-text-property' which gave ill formed
property values for 'face. Still not clear if that function is faulty or
usage was not as intended. Anyway, this repairs outstanding merge properties
problem so that <bold><italic>foo</italic></bold> works as expected.
Also: fix key binding for unicode-tokens-show-controls so is usable.
|
|
and add user-level functions to set the configured fonts.
unicode-tokens-delete-token-near-point: add this user-level function
|
|
|
|
options
|
|
|
|
|
|
|
|
|
|
toggled on/off.
|
|
keybindings
(replacing `x-symbol-INSERT-lambda', etc).
|
|
|
|
|
|
|
|
|
|
font prop must be given first
|
|
|
|
Monnier.
|
|
|
|
|
|
|
|
option.
|
|
|
|
Enable fontsets command on menu always for now.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
cover isup as well;
|
|
|
|
|
|
|
|
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).
|