max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(emacs/lean-server): define-fringe-bitmap is only defined in graphics mode

Browse source
This commit is contained in:
Kai Ruemmler 2017-03-29 13:01:15 +02:00 • committed by Leonardo de Moura
parent 467e547160
commit aa86eda214
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/emacs/lean-server.el
View file

@ -220,8 +220,9 @@
"Face to highlight pending Lean tasks."
:group 'lean)
(define-fringe-bitmap 'lean-server-fringe-bitmap
(vector) 16 8)
(if (fboundp 'define-fringe-bitmap)
(define-fringe-bitmap 'lean-server-fringe-bitmap
(vector) 16 8))
(defface lean-server-task-fringe-face
'((((class color) (background light))