   (process-send-string wl-copy-process text)
   (process-send-eof wl-copy-process))
 
-(defun wl-paste ()
-  (if (and wl-copy-process (process-live-p wl-copy-process))
-      nil
-    (shell-command-to-string "wl-paste -n | tr -d \r")))
-
-(setq interprogram-cut-function 'wl-copy)
-(setq interprogram-paste-function 'wl-paste)
+;; (defun wl-paste ()
+;;   (if (and wl-copy-process (process-live-p wl-copy-process))
+;;       nil
+;;     (shell-command-to-string "wl-paste -n | tr -d \r")))
+
+;; (setq interprogram-cut-function 'wl-copy)
+;; (setq interprogram-paste-function 'wl-paste)
 
 (use-package gist :straight t
   :config


(use-package polymode :straight t)
(use-package poly-markdown :straight t)
(use-package poly-org :straight t)

(add-to-list 'auto-mode-alist '("\\.md" . poly-markdown-mode))
(add-to-list 'auto-mode-alist '("\\.org" . poly-org-mode))

                           (visibility "Private" 8 nil (lambda (public) (or (and public "") "   Y")))
                           (description "Description" 0 nil identity))))


(use-package browse-at-remote :straight t)

(use-package xclip :straight t :init (xclip-mode))

(straight-use-package
 '(spthy-mode :type git
              :host github :repo "tamarin-prover/tamarin-prover"
              :branch "develop"
              :files (("etc/spthy-mode.el" . "spthy-mode.el"))))

(straight-use-package
 '(tla+-mode :type git
             :repo "https://git.sdf.org/bch/tlamode"
             :branch "master"
             :files (("lisp/tla+-mode.el" . "tla+-mode.el"))))

(add-to-list 'auto-mode-alist '("\\.spthy" . spthy-mode))
(add-to-list 'auto-mode-alist '("\\.tla" . tla+-mode))
