aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Collapse)Author
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Change font-lock-keywords to use our own hacked ↵David Aspinall
`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.
2009-08-28Enhanced font setting mechanism: allow a separate font for symbols,David Aspinall
and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu ↵David Aspinall
options
2009-08-12unicode-tokens-list-tokens: change help docDavid Aspinall
2009-08-06Add docstrings. Regexp quote to escape control chars and regionsDavid Aspinall
2009-08-06Work in progress on multiple instances of token modesDavid Aspinall
2009-07-30Improve documentation. Add `unicode-tokens-list-shortcuts'.David Aspinall
2009-07-30Fix so highlighting of real unicode characters setting is obeyed when mode ↵David Aspinall
toggled on/off.
2009-07-30Define maths-menu-insert-XX functions for convenience of user-defined ↵David Aspinall
keybindings (replacing `x-symbol-INSERT-lambda', etc).
2009-07-30Improve docstringDavid Aspinall
2009-05-27Cleanup more Emacs compatibilityDavid Aspinall
2009-05-26Add functions for encoding string and buffer regionsDavid Aspinall
2009-05-26Remove process-live-p, move complete autoload to use pointDavid Aspinall
2009-05-26unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: ↵David Aspinall
font prop must be given first
2009-01-14Made indentation optional when replaing # by holes.Pierre Courtieu
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
Monnier.
2008-09-18unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.David Aspinall
2008-08-06DocumentationDavid Aspinall
2008-08-05unicode-tokens-initialise: initialise menu here too rather than at top levelDavid Aspinall
2008-08-04Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars ↵David Aspinall
option.
2008-07-24Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.David Aspinall
2008-07-24unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ↵David Aspinall
Enable fontsets command on menu always for now.
2008-07-24Allow generating variants of given fonts tooDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-19Fix typo.David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12backport of recent changes to lib/unicode-tokens.el:Makarius Wenzel
cover isup as well;
2008-07-12Correct italic attributeDavid Aspinall
2008-07-10Add NOTEDavid Aspinall
2008-07-10Add other sup/subs to format menu.David Aspinall
2008-07-10Add format menu. Improve attempt to handle font-lock-face annotations. ↵David Aspinall
Still faulty.
2008-07-10Add isub and isup to unicode-tokens-annotation-control-token-alistDavid Aspinall
Part of patch from Simon Winwood.
2008-07-09cover isup as well;Makarius Wenzel
2008-07-05Deleted fileDavid Aspinall
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-05-20Fixed a bug with coq-prog-name.Pierre Courtieu
2008-02-17Remove junkDavid Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Add serif token matchDavid Aspinall
2008-02-17Remove left over propertise experiment call; fixes #202David Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-02-06Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)David Aspinall
2008-02-06Switch order of annotations and substitutions, to allow substitutions to containDavid Aspinall
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.
2008-02-04New files.David Aspinall
2008-02-04Make display properties rear sticky. This is good for begin..end but notDavid Aspinall
for singleton controls (which are a nuisance enough already).