From 01661ece4c9e20cd85527e77c76ce747d1330ca6 Mon Sep 17 00:00:00 2001
From: Ravi R Kiran <aine.marina@gmail.com>
Date: Mon, 31 Aug 2015 22:16:04 -0700
Subject: Please remove tooltips after a while, please


diff --git a/lisp/ravi-init-python.el b/lisp/ravi-init-python.el
index ba37dc6..7993092 100644
--- a/lisp/ravi-init-python.el
+++ b/lisp/ravi-init-python.el
@@ -103,6 +103,21 @@
                    basic-server-args))
             (jedi:setup)))
 
+        ;; Override pos-tip support to automatically delete tooltip
+        (defun ravi/jedi:tooltip-show (string)
+          (cond
+           ((and (memq 'pos-tip jedi:tooltip-method) window-system
+                 (featurep 'pos-tip))
+            (pos-tip-show (jedi:string-fill-paragraph string)
+                          'popup-tip-face nil nil 5))
+           ((and (memq 'popup jedi:tooltip-method)
+                 (featurep 'popup))
+            (popup-tip string))
+           (t (when (stringp string)
+                (let ((message-log-max nil))
+                  (message string))))))
+        (fset 'jedi:tooltip-show 'ravi/jedi:tooltip-show)
+
         (defun ravi/python-jedi-hook-installer ()
           ;; (setq jedi:complete-on-dot t) ; needs auto-complete
           (add-hook 'hack-local-variables-hook 'ravi/jedi-setup nil t))
-- 
cgit v0.10.1