 (when (memq window-system '(mac ns x))
   (exec-path-from-shell-initialize))
 
+;; (add-to-list 'load-path (expand-file-name "scripts" "~/.emacs.d"))
+;; (require 'resize-frame)
+
 ;; Automatically :ensure each use-package.
 ;; (setq use-package-always-pin "melpa")
 (use-package poet-theme :straight t)
 (use-package ayu-theme :straight t)
 (use-package mood-one-theme :straight t)
 (use-package github-theme :straight t)
+(use-package melancholy-theme :straight t)
+(use-package avk-emacs-themes :straight t)
+(use-package color-theme-modern :straight t)
 
 ;; (load-theme 'github t)
 ;; (load-theme 'poet-dark-monochrome t)


(add-to-list 'term-file-aliases '("alacritty" . "xterm"))

(setq auto-window-vscroll nil)

;;              :branch "master"
;;              :files (:defaults "lean4-mode/*.el")))

(use-package tla+-mode
  :init
  (add-to-list 'auto-mode-alist '("\\.tla\\'" . tla+-mode))
  :config
  (setq tla+-tlatools-path "~/.local/share/tlaplus/tla2tools.jar")
  :straight (tla+-mode :type git
                       :repo "https://git.sdf.org/bch/tlamode"
                       :branch "master"
                       :files (("lisp/tla+-mode.el" . "tla+-mode.el"))))

(use-package fsharp-mode
  :straight (fsharp-mode :type git
                         :host github :repo "zerosign/emacs-fsharp-mode"
                         :branch "master"))


(global-set-key (kbd "C-c C-_") 'comment-or-uncomment-region)

