diff options
| author | David Aspinall | 2008-02-04 23:52:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-04 23:52:16 +0000 |
| commit | 11a72e26c002afc307da2674181663d1b423b534 (patch) | |
| tree | c156777c13645f7679d8fce9b091c4ea4b5d124e /lib/pg-fontsets.el | |
| parent | fa1f4d61609e7980466b723652cab284cbc5d242 (diff) | |
New files.
Diffstat (limited to 'lib/pg-fontsets.el')
| -rw-r--r-- | lib/pg-fontsets.el | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/lib/pg-fontsets.el b/lib/pg-fontsets.el new file mode 100644 index 00000000..bfc80a07 --- /dev/null +++ b/lib/pg-fontsets.el @@ -0,0 +1,57 @@ +;;; pg-fontsets.el --- Define fontsets useful for Proof General +;; +;; Copyright (C) 2008 David Aspinall / LFCS Edinburgh +;; Author: David Aspinall <David.Aspinall@ed.ac.uk> +;; License: GPL (GNU GENERAL PUBLIC LICENSE) +;; +;; $Id$ +;; +;;; Commentary: +;; +;; Define some fontsets to try to select fonts that display many symbols. +;; +;; Select one of these fontsets via the menu Options -> Set Font/Fontset +;; or, with M-x set-default-font +;; +;; Recommended & free fonts to install on your system are: +;; +;; DejaVu LGC (Sans and Sans Mono). See http://dejavu.sourceforge.net +;; + +;;; Code: + +(defvar pg-fontsets-names nil) + +(defcustom pg-fontsets-default-fontset nil + "*Name of default fontset to use with Proof General." + :type 'string + :group 'proof-user-options) + +(defconst pg-fontsets-base-font "dejavu lgc sans") +;(defconst pg-fontsets-base-font "liberation mono") + +(defun pg-fontsets-make-fontsets () + (setq pg-fontsets-names nil) + (dolist (size '(10 12 14 18 22)) + (add-to-list 'pg-fontsets-names + (create-fontset-from-fontset-spec + (replace-regexp-in-string + "%S" (int-to-string size) + (replace-regexp-in-string + "%F" pg-fontsets-base-font +"-*-%F-medium-r-normal--%S-*-*-*-*-*-fontset-PG5%S, +ascii:-*-%F-medium-r-normal--%S-*-*-*-*-*-mac-roman, +latin-iso8859-1:-*-%F-medium-r-normal--%S-*-*-*-*-*-mac-roman, +mule-unicode-0100-24ff:-*-%F-medium-r-normal--%S--*-*-*-*-*-iso10646-1, +mule-unicode-2500-33ff:-*-%F-medium-r-normal--%S--*-*-*-*-*-iso10646-1, +mule-unicode-e000-ffff:-*-%F-medium-r-normal--%S--*-*-*-*-*-iso10646-1"))))) +; (custom-initialize-default 'pg-fontsets-default-fontset +; (nth 2 pg-fontsets-names)) + (setq pg-fontsets-default-fontset (nth 2 pg-fontsets-names)) + (set-default-font pg-fontsets-default-fontset)) + +;; (pg-fontsets-make-fontsets) + + + +;;; pg-fontsets.el ends here |