aboutsummaryrefslogtreecommitdiff
path: root/lib/unicode-tokens.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-03-08Remove some Emacs <24.1 compatibility cruftClément Pit--Claudel
2017-03-08Fixing unicode tokens in generic code and in coq.Pierre Courtieu
2015-03-13Summary: Fix to work with dark color themes (stipple with header-line face)David Aspinall
2012-09-04Fix compile for Emacs 24David Aspinall
2012-08-16Emacs 24 updateDavid Aspinall
2012-04-30Change default Unicode Tokens font back to DejaVU Sans, more reliable without...David Aspinall
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
2011-01-26ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).David Aspinall
2010-09-08Clean up invisibility specDavid Aspinall
2010-08-24unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...David Aspinall
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font changi...David Aspinall
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
2010-08-11unicode-tokens-symbol-font-face: default to italic and support settingDavid Aspinall
2010-06-28Remove debug messageDavid Aspinall
2010-06-27Experimental backwards delete char. See Trac #290David Aspinall
2009-12-01tidyDavid Aspinall
2009-12-01Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311David Aspinall
2009-12-01spacesDavid Aspinall
2009-10-01unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.David Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-30Conforming Menu TitlesDavid Aspinall
2009-09-28Rename dec->keyword. Update doc for quail input language.David Aspinall
2009-09-21Add customize group unicode-tokens-options to faces top-level group.David Aspinall
2009-09-21unicode-tokens-add-help-echo: add this customize optionDavid Aspinall
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
2009-09-13Times -> Times New Roman, seems to have better substitution behaviourDavid Aspinall
2009-09-08Remove use of regexp-opt-depth and clarify doc ofDavid Aspinall
2009-09-07Calculate token match regexp in a more complex way in an attempt toDavid Aspinall
2009-09-06WhitespaceDavid Aspinall
2009-09-06Supress spurious warningsDavid Aspinall
2009-09-05unicode-tokens-replace-unicode: new function to interactively replace unicode...David Aspinall
2009-09-05tokens-customizable-variables: new setting. All compositions to be more gener...David Aspinall
2009-09-05CommentsDavid Aspinall
2009-09-01Attempt to make compatible with Mac OS X port of Emacs 23.David Aspinall
2009-08-31Fix unicode-tokens-script-font-faceDavid Aspinall
2009-08-31Support mouse font selection in Emacs 22.David Aspinall
2009-08-31Experiments improving defaultsDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...David Aspinall
2009-08-28Extend the available types of controls. Move fontsymb-properties here. Pret...David Aspinall
2009-08-28Disable "Set fontsets" sub menu for new EmacsenDavid Aspinall
2009-08-28Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...David Aspinall
2009-08-28Enhanced font setting mechanism: allow a separate font for symbols,David Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu op...David Aspinall
2009-08-12unicode-tokens-list-tokens: change help docDavid Aspinall
2009-08-06Add docstrings. Regexp quote to escape control chars and regionsDavid Aspinall