aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/unicode-tokens.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove some Emacs <24.1 compatibility cruftGravatar Clément Pit--Claudel2017-03-08
* Fixing unicode tokens in generic code and in coq.Gravatar Pierre Courtieu2017-03-08
* Summary: Fix to work with dark color themes (stipple with header-line face)Gravatar David Aspinall2015-03-13
* Fix compile for Emacs 24Gravatar David Aspinall2012-09-04
* Emacs 24 updateGravatar David Aspinall2012-08-16
* Change default Unicode Tokens font back to DejaVU Sans, more reliable without...Gravatar David Aspinall2012-04-30
* Support delete selection mode on remapped delete commandsGravatar David Aspinall2011-02-23
* ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).Gravatar David Aspinall2011-01-26
* Clean up invisibility specGravatar David Aspinall2010-09-08
* unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...Gravatar David Aspinall2010-08-24
* Default to non-italic symbol font variant for Mac OS X. Simplify font changi...Gravatar David Aspinall2010-08-19
* unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadGravatar David Aspinall2010-08-18
* unicode-tokens-symbol-font-face: default to italic and support settingGravatar David Aspinall2010-08-11
* Remove debug messageGravatar David Aspinall2010-06-28
* Experimental backwards delete char. See Trac #290Gravatar David Aspinall2010-06-27
* tidyGravatar David Aspinall2009-12-01
* Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311Gravatar David Aspinall2009-12-01
* spacesGravatar David Aspinall2009-12-01
* unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.Gravatar David Aspinall2009-10-01
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Conforming Menu TitlesGravatar David Aspinall2009-09-30
* Rename dec->keyword. Update doc for quail input language.Gravatar David Aspinall2009-09-28
* Add customize group unicode-tokens-options to faces top-level group.Gravatar David Aspinall2009-09-21
* unicode-tokens-add-help-echo: add this customize optionGravatar David Aspinall2009-09-21
* unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedGravatar David Aspinall2009-09-20
* Times -> Times New Roman, seems to have better substitution behaviourGravatar David Aspinall2009-09-13
* Remove use of regexp-opt-depth and clarify doc ofGravatar David Aspinall2009-09-08
* Calculate token match regexp in a more complex way in an attempt toGravatar David Aspinall2009-09-07
* WhitespaceGravatar David Aspinall2009-09-06
* Supress spurious warningsGravatar David Aspinall2009-09-06
* unicode-tokens-replace-unicode: new function to interactively replace unicode...Gravatar David Aspinall2009-09-05
* tokens-customizable-variables: new setting. All compositions to be more gener...Gravatar David Aspinall2009-09-05
* CommentsGravatar David Aspinall2009-09-05
* Attempt to make compatible with Mac OS X port of Emacs 23.Gravatar David Aspinall2009-09-01
* Fix unicode-tokens-script-font-faceGravatar David Aspinall2009-08-31
* Support mouse font selection in Emacs 22.Gravatar David Aspinall2009-08-31
* Experiments improving defaultsGravatar David Aspinall2009-08-31
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...Gravatar David Aspinall2009-08-30
* Extend the available types of controls. Move fontsymb-properties here. Pret...Gravatar David Aspinall2009-08-28
* Disable "Set fontsets" sub menu for new EmacsenGravatar David Aspinall2009-08-28
* Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...Gravatar David Aspinall2009-08-28
* Enhanced font setting mechanism: allow a separate font for symbols,Gravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* unicode-tokens-list-tokens: change help docGravatar David Aspinall2009-08-12
* Add docstrings. Regexp quote to escape control chars and regionsGravatar David Aspinall2009-08-06