aboutsummaryrefslogtreecommitdiff
path: root/lib/unicode-tokens.el
AgeCommit message (Collapse)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
Use lexical-binding in a few files where it was easy. Don't require `proof-compat` when it's not used. * coq/coq-db.el: Use lexical-binding. * coq/coq-system.el: Use lexical-binding. (coq--extract-prog-args): Use concatenated-args rather than recomputing it. * coq/coq.el: Require `span` to silence some warnings. * generic/pg-user.el: Use lexical-binding. (complete, add-completion, completion-min-length): Silence warnings. * generic/pg-xml.el: Use lexical-binding. (pg-xml-string-of): Prefer mapconcat to reduce+concat. * generic/proof-depends.el: Use lexical-binding. (proof-dep-split-deps): Use `push`. * generic/proof-shell.el: Require `span` to silence some warnings. (proof-shell-invisible-command): Don't use lexical-let just to build a wasteful η-redex! * lib/holes.el: Use lexical-binding. Remove redundant :group args. * lib/span.el: Use lexical-binding. (span-read-only-hook): Use user-error. (span-raise): Remove, unused.
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 ↵David Aspinall
without installing STIX.
2011-02-23Support delete selection mode on remapped delete commandsDavid Aspinall
Update some of font alias choices.
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
Emacs 24 compile warning
2010-08-19Default to non-italic symbol font variant for Mac OS X. Simplify font ↵David Aspinall
changing code.
2010-08-18unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display insteadDavid Aspinall
of redisplay to reveal invisibility spec changes
2010-08-11unicode-tokens-symbol-font-face: default to italic and support settingDavid Aspinall
the symbol font face's :slant as well as :family attributes.
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
Prevent font setting when symbols are revealed (use default font family). Tweak menu titles.
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
unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
2009-09-20unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayedDavid Aspinall
buffers to ensure font changes are seen (change for Mac)
2009-09-13Times -> Times New Roman, seems to have better substitution behaviourDavid Aspinall
under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics)
2009-09-08Remove use of regexp-opt-depth and clarify doc ofDavid Aspinall
`unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'.
2009-09-07Calculate token match regexp in a more complex way in an attempt toDavid Aspinall
allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions.
2009-09-06WhitespaceDavid Aspinall
2009-09-06Supress spurious warningsDavid Aspinall
2009-09-05unicode-tokens-replace-unicode: new function to interactively replace ↵David Aspinall
unicode chars in buffer
2009-09-05tokens-customizable-variables: new setting. All compositions to be more ↵David Aspinall
general, and map char sequences into left-to-right placements
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
Fix interface to custom, saved faces are in .emacs, not current buffer(!).
2009-08-31Experiments improving defaultsDavid Aspinall
2009-08-31Disable large symbol font for nowDavid Aspinall
2009-08-30Improve and extend font configuration. Add ↵David Aspinall
unicode-tokens-replace-shortcut-match.
2009-08-28Extend the available types of controls. Move fontsymb-properties here. ↵David Aspinall
Prettify the token table.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:48:47 +0000