Pārlūkot izejas kodu

Disable my-company-length-popup-tip

master
10sr pirms 5 gadiem
vecāks
revīzija
54207f0712
Parakstījis: 10sr GPG atslēgas ID: C384BB17CBB19347
1 mainītis faili ar 4 papildinājumiem un 3 dzēšanām
  1. +4
    -3
      emacs.el

+ 4
- 3
emacs.el Parādīt failu

@@ -1081,9 +1081,10 @@ found, otherwise returns nil."
(when l
(popup-tip (format "%d" l))))))

(set-variable 'my-company-length-popup-tip-timer
(run-with-idle-timer 0.2 t
'my-company-length-popup-tip))
;; This breaks japanese text input
;; (set-variable 'my-company-length-popup-tip-timer
;; (run-with-idle-timer 0.2 t
;; 'my-company-length-popup-tip))

;; (current-active-maps)
;; (lookup-key)


Notiek ielāde…
Atcelt
Saglabāt