 (require 'yasnippet)
 (require 'flycheck)
 (require 'let-alist)
-(require 'company-quickhelp nil t)
+(require 'company-quickhelp)
 
 (defconst fstar--script-full-path
   (or (and load-in-progress load-file-name)


(defun fstar-setup-company-defaults ()
  "Set up Company support."
  (when (fboundp 'company-quickhelp-local-mode)
    (company-quickhelp-local-mode 1))
  (setq-local company-idle-delay 0.01)
  (setq-local company-tooltip-align-annotations t)
  (setq-local company-abort-manual-when-too-short t))

(defun fstar-teardown-company-defaults ()
  "Tear down Company support."
  (when (fboundp 'company-quickhelp-local-mode)
    (company-quickhelp-local-mode -1))
  (kill-local-variable 'company-idle-delay)
  (kill-local-variable 'company-tooltip-align-annotations)
  (kill-local-variable 'company-abort-manual-when-too-short))


;; Created: 27 Aug 2015
;; Version: 0.4
;; Package-Requires: ((emacs "24.3") (dash "2.11") (company "0.8.12") (quick-peek "1.0") (yasnippet "0.11.0")  (flycheck "30.0") (company-quickhelp "2.2.0"))
;; Keywords: convenience, languages

;; This file is not part of GNU Emacs.
