From f148d67607cd72da802918d1f6c98a8174b50626 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Tue, 16 May 2017 22:21:55 +0200 Subject: [PATCH] Add pos-tip settings --- core/core-ui.el | 3 +++ 1 file changed, 3 insertions(+) diff --git a/core/core-ui.el b/core/core-ui.el index 086e354b6..a7f36c251 100644 --- a/core/core-ui.el +++ b/core/core-ui.el @@ -28,6 +28,9 @@ use-dialog-box nil ; always avoid GUI visible-cursor nil x-stretch-cursor nil + ;; `pos-tip' defaults + pos-tip-internal-border-width 6 + pos-tip-border-width 1 ;; no beeping or blinking please ring-bell-function #'ignore visible-bell nil