 (require 'tramp-sh)
 (require 'crm)
 (require 'tool-bar)
-(require 'image)
 (require 'notifications nil t)
 ;; replace.el doesn't `provide' in Emacs < 26
 (ignore-errors (require 'replace))

      (add-item 'fstar-customize "settings"))
    (fstar-tool-bar--cleanup-map map)))

(defconst fstar-tool-bar--icons-directory
  (let ((shade (pcase frame-background-mode (`dark 'light) (_ 'dark))))
    (expand-file-name (format "etc/icons/%S" shade) fstar--directory)))

(defun fstar-setup-tool-bar ()
  "Display the F* toolbar."
  (setq-local tool-bar-map fstar-tool-bar--map)
  (setq-local image-load-path `(,fstar-tool-bar--icons-directory ,@image-load-path)))

(defun fstar-teardown-tool-bar ()
  "Hide the F* toolbar."
  (kill-local-variable 'tool-bar-map)
  (kill-local-variable 'image-load-path))

;;; Main mode


   command nil map fstar-mode-map
   :vert-only t :fstar-icon icon))

(defconst fstar-tool-bar--icons-directory
  (let ((shade (pcase frame-background-mode (`dark 'light) (_ 'dark))))
    (expand-file-name (format "etc/icons/%S" shade) fstar--directory)))

(defun fstar-tool-bar--cleanup-binding (binding)
  "Recompute :image spec in toolbar entry BINDING."
  (pcase binding
