From aa86eda2147c6b239170842fb51783ded8f3087c Mon Sep 17 00:00:00 2001 From: Kai Ruemmler Date: Wed, 29 Mar 2017 13:01:15 +0200 Subject: [PATCH] fix(emacs/lean-server): define-fringe-bitmap is only defined in graphics mode --- src/emacs/lean-server.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 66ee41d63d..fd83ac4579 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -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))