FUEL: Improved internal font definition handling.
parent
4a3be107ae
commit
ad728652d8
|
@ -21,13 +21,24 @@
|
||||||
|
|
||||||
;;; Faces:
|
;;; Faces:
|
||||||
|
|
||||||
|
(defgroup fuel-faces nil
|
||||||
|
"Faces used by FUEL."
|
||||||
|
:group 'fuel
|
||||||
|
:group 'faces)
|
||||||
|
|
||||||
|
(defmacro fuel-font-lock--defface (face def group doc)
|
||||||
|
`(defface ,face (face-default-spec ,def)
|
||||||
|
,(format "Face for %s." doc)
|
||||||
|
:group ',group
|
||||||
|
:group 'fuel-faces
|
||||||
|
:group 'faces))
|
||||||
|
|
||||||
|
(put 'fuel-font-lock--defface 'lisp-indent-function 1)
|
||||||
|
|
||||||
(defmacro fuel-font-lock--make-face (prefix def-prefix group face def doc)
|
(defmacro fuel-font-lock--make-face (prefix def-prefix group face def doc)
|
||||||
(let ((face (intern (format "%s-%s" prefix face)))
|
(let ((face (intern (format "%s-%s" prefix face)))
|
||||||
(def (intern (format "%s-%s-face" def-prefix def))))
|
(def (intern (format "%s-%s-face" def-prefix def))))
|
||||||
`(defface ,face (face-default-spec ,def)
|
`(fuel-font-lock--defface ,face ,def ,group ,doc)))
|
||||||
,(format "Face for %s." doc)
|
|
||||||
:group ',group
|
|
||||||
:group 'faces)))
|
|
||||||
|
|
||||||
(defmacro fuel-font-lock--define-faces (prefix def-prefix group faces)
|
(defmacro fuel-font-lock--define-faces (prefix def-prefix group faces)
|
||||||
(let ((setup (make-symbol (format "%s--faces-setup" prefix))))
|
(let ((setup (make-symbol (format "%s--faces-setup" prefix))))
|
||||||
|
|
|
@ -48,10 +48,8 @@
|
||||||
:type 'integer
|
:type 'integer
|
||||||
:group 'fuel-help)
|
:group 'fuel-help)
|
||||||
|
|
||||||
(defface fuel-help-font-lock-headlines '((t (:bold t :weight bold)))
|
(fuel-font-lock--defface fuel-help-font-lock-headlines
|
||||||
"Face for headlines in help buffers."
|
'bold fuel-hep "headlines in help buffers")
|
||||||
:group 'fuel-help
|
|
||||||
:group 'faces)
|
|
||||||
|
|
||||||
|
|
||||||
;;; Help browser history:
|
;;; Help browser history:
|
||||||
|
|
|
@ -17,6 +17,7 @@
|
||||||
(require 'fuel-autodoc)
|
(require 'fuel-autodoc)
|
||||||
(require 'fuel-syntax)
|
(require 'fuel-syntax)
|
||||||
(require 'fuel-eval)
|
(require 'fuel-eval)
|
||||||
|
(require 'fuel-font-lock)
|
||||||
(require 'fuel-base)
|
(require 'fuel-base)
|
||||||
|
|
||||||
|
|
||||||
|
@ -26,12 +27,10 @@
|
||||||
"Customization for FUEL's stack inference engine"
|
"Customization for FUEL's stack inference engine"
|
||||||
:group 'fuel)
|
:group 'fuel)
|
||||||
|
|
||||||
(defface fuel-font-lock-stack-region (face-user-default-spec 'highlight)
|
(fuel-font-lock--defface fuel-font-lock-stack-region
|
||||||
"Face used to highlight the region whose stack effect is shown"
|
'highlight fuel-stack "highlighting the stack effect region")
|
||||||
:group 'fuel-stack
|
|
||||||
:group 'faces)
|
|
||||||
|
|
||||||
(defcustom fuel-stack-highlight-period 2
|
(defcustom fuel-stack-highlight-period 2.0
|
||||||
"Time, in seconds, the region is highlighted when showing its
|
"Time, in seconds, the region is highlighted when showing its
|
||||||
stack effect.
|
stack effect.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue