diff options
Diffstat (limited to 'lib/pg-fontsets.el')
| -rw-r--r-- | lib/pg-fontsets.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/pg-fontsets.el b/lib/pg-fontsets.el index 2c0528cc..c4d76efc 100644 --- a/lib/pg-fontsets.el +++ b/lib/pg-fontsets.el @@ -21,8 +21,7 @@ ;;; Code: -(eval-and-compile - (require 'fontset)) ; needed for some emacsen without X +(require 'fontset) (defcustom pg-fontsets-default-fontset nil "*Name of default fontset to use with Proof General." |