740 lines
21 KiB
EmacsLisp
740 lines
21 KiB
EmacsLisp
;
|
||
; ___ _ __ ___ __ _ ___ ___
|
||
; / _ \ '_ ` _ \ / _` |/ __/ __|
|
||
; | __/ | | | | | (_| | (__\__ \
|
||
; \___|_| |_| |_|\__,_|\___|___/
|
||
;
|
||
; ~ M. Thomas
|
||
|
||
(let ((file-name-handler-alist nil))
|
||
|
||
|
||
;;;
|
||
;;; PERFORMANCE
|
||
;;;
|
||
|
||
|
||
;; Set the gc threshold high initially so the init.el can just be
|
||
;; loaded in one move
|
||
(setq gc-cons-threshold most-positive-fixnum) ; 2^61 bytes
|
||
|
||
;; Lower the gc threshold again afterwards
|
||
(add-hook 'emacs-startup-hook
|
||
(lambda ()
|
||
(setq gc-cons-threshold (* 32 1024 1024))))
|
||
|
||
;; This is important for e.g. lsp mode
|
||
(setq read-process-output-max (* 3 1024 1024))
|
||
|
||
;; Disable bidirectional text scanning for a modest performance boost. I've set
|
||
;; this to `nil' in the past, but the `bidi-display-reordering's docs say that
|
||
;; is an undefined state and suggest this to be just as good:
|
||
(setq-default bidi-display-reordering 'left-to-right
|
||
bidi-paragraph-direction 'left-to-right)
|
||
|
||
;; Disabling the BPA makes redisplay faster, but might produce incorrect display
|
||
;; reordering of bidirectional text with embedded parentheses and other bracket
|
||
;; characters whose 'paired-bracket' Unicode property is non-nil.
|
||
(setq bidi-inhibit-bpa t) ; Emacs 27 only
|
||
|
||
;; Reduce rendering/line scan work for Emacs by not rendering cursors or regions
|
||
;; in non-focused windows.
|
||
(setq-default cursor-in-non-selected-windows nil)
|
||
(setq highlight-nonselected-windows nil)
|
||
|
||
;; Emacs "updates" its ui more often than it needs to, so slow it down slightly
|
||
(setq idle-update-delay 1.0) ; default is 0.5
|
||
|
||
;; Introduced in Emacs HEAD (b2f8c9f), this inhibits fontification while
|
||
;; receiving input, which should help a little with scrolling performance.
|
||
(setq redisplay-skip-fontification-on-input t)
|
||
|
||
|
||
;;;
|
||
;;; GENERAL
|
||
;;;
|
||
|
||
|
||
(setq make-backup-files nil
|
||
auto-mode-case-fold nil
|
||
auto-save-default nil
|
||
inhibit-startup-screen t
|
||
tramp-default-method "ssh"
|
||
initial-major-mode 'fundamental-mode
|
||
initial-scratch-message nil
|
||
fast-but-imprecise-scrolling t
|
||
split-height-threshold nil
|
||
split-width-threshold 0)
|
||
|
||
;; Make ESC quit prompts
|
||
(global-set-key (kbd "<escape>") 'keyboard-escape-quit)
|
||
|
||
;; Soft wrap
|
||
(global-visual-line-mode t)
|
||
|
||
|
||
;;;
|
||
;;; PACKAGE MANAGEMENT
|
||
;;;
|
||
|
||
|
||
;; straight.el bootstrap
|
||
(setq straight-check-for-modifications 'live)
|
||
(defvar bootstrap-version)
|
||
|
||
(let ((bootstrap-file
|
||
(expand-file-name "straight/repos/straight.el/bootstrap.el" user-emacs-directory))
|
||
(bootstrap-version 5))
|
||
(unless (file-exists-p bootstrap-file)
|
||
(with-current-buffer
|
||
(url-retrieve-synchronously
|
||
"https://raw.githubusercontent.com/raxod502/straight.el/develop/install.el"
|
||
'silent 'inhibit-cookies)
|
||
(goto-char (point-max))
|
||
(eval-print-last-sexp)))
|
||
(load bootstrap-file nil 'nomessage))
|
||
|
||
;; Inhibit package.el load
|
||
(setq package-enable-at-startup nil)
|
||
(straight-use-package 'use-package)
|
||
|
||
|
||
;;;
|
||
;;; KEYBIND STUFF
|
||
;;;
|
||
|
||
;; General
|
||
(use-package general
|
||
:straight t
|
||
:init
|
||
;; Space as leader key
|
||
(general-create-definer vim-leader-def :prefix "SPC"))
|
||
|
||
;; Help to find keybindings
|
||
(use-package which-key
|
||
:straight t
|
||
:init
|
||
(which-key-mode)
|
||
:diminish
|
||
(which-key-mode)
|
||
:config
|
||
(setq which-key-idle-delay 1))
|
||
|
||
;; Vim bindings
|
||
(use-package evil
|
||
:straight t
|
||
:bind
|
||
(:map evil-motion-state-map
|
||
("C-y" . nil))
|
||
(:map evil-insert-state-map
|
||
("C-y" . nil))
|
||
:init
|
||
;; so C-z works for background
|
||
(setq evil-toggle-key "C-~"
|
||
evil-want-C-d-scroll t
|
||
evil-want-C-u-scroll t
|
||
evil-want-integration t
|
||
evil-want-keybinding nil)
|
||
:config
|
||
(evil-mode))
|
||
|
||
(use-package evil-collection
|
||
:straight t
|
||
:after evil
|
||
:config
|
||
(evil-collection-init))
|
||
|
||
|
||
;;;
|
||
;;; Appearance
|
||
;;;
|
||
|
||
|
||
;; Font
|
||
(set-face-attribute 'default nil :font "JuliaMono" :height 100)
|
||
(set-fontset-font t 'unicode "Noto Color Emoji" nil 'prepend)
|
||
(set-fontset-font t 'unicode "Noto Sans Mono CJK JP" nil 'append)
|
||
|
||
;; Remove ugly bars
|
||
(menu-bar-mode -1)
|
||
(tool-bar-mode -1)
|
||
(scroll-bar-mode -1)
|
||
|
||
;; Show matching parenthesis
|
||
(show-paren-mode t)
|
||
(setq show-paren-style 'paranthesis)
|
||
|
||
;; Relative line numbers
|
||
(setq-default display-line-numbers 'relative
|
||
display-line-numbers-widen t
|
||
;; this is the default
|
||
display-line-numbers-current-absolute t)
|
||
|
||
;; Display absolute numbers, when in normal mode
|
||
(defun noct:relative ()
|
||
(setq-local display-line-numbers 'relative))
|
||
|
||
(defun noct:absolute ()
|
||
(setq-local display-line-numbers t))
|
||
|
||
(add-hook 'evil-insert-state-entry-hook #'noct:absolute)
|
||
(add-hook 'evil-insert-state-exit-hook #'noct:relative)
|
||
|
||
;; Themes and icons
|
||
(use-package doom-themes
|
||
:straight (doom-themes :type git :host github :repo "hlissner/emacs-doom-themes"
|
||
:fork (:host github :repo "CramMK/emacs-doom-themes"))
|
||
:config
|
||
(setq doom-themes-enable-bold t
|
||
doom-themes-enable-italic t)
|
||
(load-theme 'doom-ayu-light t)
|
||
(doom-themes-org-config)
|
||
(doom-themes-treemacs-config))
|
||
|
||
;; Cool mode line
|
||
(use-package doom-modeline
|
||
:straight t
|
||
:config
|
||
(doom-modeline-mode 1)
|
||
(setq doom-modeline-indent-info t))
|
||
|
||
;; Cool dashboard
|
||
(use-package dashboard
|
||
:straight t
|
||
:config
|
||
(dashboard-setup-startup-hook)
|
||
(setq dashboard-banner-logo-title"「EMACS」へようこそ, マルコさん!"
|
||
dashboard-startup-banner 'logo
|
||
dashboard-items '((agenda . 20))
|
||
dashboard-item-names '(("Agenda for the coming week:" . "Agenda:"))
|
||
dashboard-center-content t)
|
||
(when (file-exists-p "~/.emacs.d/dashboard.png")
|
||
(setq dashboard-startup-banner "~/.emacs.d/dashboard.png")))
|
||
|
||
;; Show color codes as colors inline
|
||
(use-package rainbow-mode
|
||
:straight t
|
||
:hook
|
||
(prog-mode . rainbow-mode))
|
||
|
||
;; Icons
|
||
(use-package all-the-icons
|
||
:straight t)
|
||
|
||
;; NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA NYA
|
||
(use-package nyan-mode
|
||
:straight t
|
||
:init
|
||
(nyan-mode)
|
||
(nyan-start-animation)
|
||
(nyan-toggle-wavy-trail)
|
||
:config
|
||
(setq nyan-cat-face-number 4))
|
||
|
||
;; Show whitespace
|
||
(global-whitespace-mode t)
|
||
(setq whitespace-style '(face trailing tabs tab-mark))
|
||
; remove trailing whitespaces on save
|
||
(add-hook 'before-save-hook 'whitespace-cleanup)
|
||
|
||
;; Column line
|
||
(use-package fill-column-indicator
|
||
:straight t
|
||
:defer 1
|
||
:diminish
|
||
(fci-mode)
|
||
:config
|
||
(setq fci-rule-width 1
|
||
fci-rule-column 80
|
||
fci-rule-color "#A6CC70")
|
||
:hook
|
||
(prog-mode . fci-mode)
|
||
(markdown-mode . fci-mode))
|
||
|
||
|
||
;;;
|
||
;;; HELPERS
|
||
;;;
|
||
|
||
|
||
;; Heuristic indentation
|
||
(use-package dtrt-indent
|
||
:straight t
|
||
:hook
|
||
(prog-mode . dtrt-indent-mode)
|
||
(text-mode . dtrt-indent-mode)
|
||
(org-mode . dtrt-indent-mode)
|
||
(markdown-mode . dtrt-indent-mode))
|
||
|
||
;; Indentation for C
|
||
(setq-default c-basic-offset 8)
|
||
|
||
;; Auto parenthesis
|
||
(use-package electric-pair
|
||
:config
|
||
(setq electric-pair-open-newline-between-pairs nil)
|
||
:hook
|
||
(prog-mode . electric-pair-mode)
|
||
(text-mode . electric-pair-mode)
|
||
(org-mode . electric-pair-mode)
|
||
(markdown-mode . electric-pair-mode))
|
||
|
||
;; Spellchecker
|
||
(use-package ispell
|
||
:straight t
|
||
:if (executable-find "hunspell")
|
||
:config
|
||
(setq ispell-program-name "hunspell"
|
||
ispell-dictionary "de_DE,en_GB,en_US")
|
||
(ispell-set-spellchecker-params)
|
||
(ispell-hunspell-add-multi-dic "de_DE,en_GB,en_US")
|
||
:hook
|
||
(org-mode . flyspell-mode)
|
||
(markdown-mode . flyspell-mode)
|
||
(text-mode . flyspell-mode))
|
||
|
||
|
||
;;;
|
||
;;; IVY
|
||
;;;
|
||
|
||
;; Completetion frontend for counsel
|
||
(use-package ivy
|
||
:straight t
|
||
:diminish
|
||
:bind (("C-s" . swiper) ; TODO: possibly map this to / at some point?
|
||
:map ivy-minibuffer-map
|
||
("TAB" . ivy-alt-done)
|
||
("C-l" . ivy-alt-done)
|
||
("C-j" . ivy-next-line)
|
||
("C-k" . ivy-previous-line)
|
||
:map ivy-switch-buffer-map
|
||
("C-k" . ivy-previous-line)
|
||
("C-l" . ivy-done)
|
||
("C-d" . ivy-switch-buffer-kill)
|
||
:map ivy-reverse-i-search-map
|
||
("C-k" . ivy-previous-line)
|
||
("C-d" . ivy-reverse-i-search-kill))
|
||
:config
|
||
(ivy-mode 1))
|
||
|
||
;; Fancy menus and buffers
|
||
(use-package counsel
|
||
:straight t
|
||
:bind (("M-x" . counsel-M-x)
|
||
("C-x b" . counsel-ibuffer)
|
||
("C-x C-f" . counsel-find-file)
|
||
("C-x C-g" . counsel-git)
|
||
:map minibuffer-local-map
|
||
("C-r" . 'counsel-minibuffer-history)))
|
||
|
||
|
||
;;;
|
||
;;; ORG
|
||
;;;
|
||
|
||
|
||
;; God bless this mode...
|
||
(use-package org
|
||
:straight t
|
||
;; C-c C-t org rotate
|
||
:general
|
||
(vim-leader-def 'normal 'global
|
||
"oci" 'org-clock-in
|
||
"oco" 'org-clock-out
|
||
"oa" 'org-agenda
|
||
"oca" 'org-capture
|
||
"oes" 'org-edit-src-code
|
||
"obe" 'org-babel-execute-src-block
|
||
"oti" 'org-toggle-inline-images
|
||
"odi" 'org-display-inline-images)
|
||
:hook
|
||
;; dont make real spaces at the start
|
||
(org-mode . (lambda () (electric-indent-local-mode -1)))
|
||
;; add virtual spaces
|
||
(org-mode . org-indent-mode)
|
||
;; fancy checkboxes
|
||
(org-mode . prettify-symbols-mode)
|
||
(org-mode . (lambda ()
|
||
(push '("[ ]" . "☐") prettify-symbols-alist)
|
||
(push '("[X]" . "☑" ) prettify-symbols-alist)
|
||
(push '("[-]" . "❍" ) prettify-symbols-alist)))
|
||
;(push '("#+begin_src" . "↦" ) prettify-symbols-alist)
|
||
;(push '("#+end_src" . "⇤" ) prettify-symbols-alist)))
|
||
:config
|
||
(define-key evil-normal-state-map (kbd "TAB") 'org-cycle)
|
||
(set-face-attribute 'org-document-title nil :font "Product Sans" :weight 'bold :inherit 'default :height 250)
|
||
(setq org-format-latex-options (plist-put org-format-latex-options :scale 1.5)
|
||
org-hidden-keywords '(title)
|
||
org-image-actual-width nil
|
||
org-directory "~/org"
|
||
org-agenda-files (quote ("~/org"))
|
||
org-ellipsis " ⮷"
|
||
org-hide-emphasis-markers t
|
||
org-todo-keywords '((sequence "TODO" "PROGRESS" "REVIEW" "|" "DONE"))
|
||
org-todo-keyword-faces '(("TODO" . "#cc241d") ("PROGRESS" . "#a6cc70") ("REVIEW" . "#b16286") ("DONE" . "#abb0b6"))
|
||
org-edit-src-content-indentation 0
|
||
calendar-week-start-day 1
|
||
org-log-done 'time
|
||
org-agenda-start-on-weekday nil
|
||
org-capture-templates
|
||
(quote (("j" "Japanese" entry (file "~/org/japanese.org") "* TODO %?\n" :empty-lines-before 1)
|
||
("w" "Work" entry (file "~/org/work.org") "* TODO %?\n" :empty-lines-before 1)
|
||
("u" "University" entry (file "~/org/uni.org") "* TODO %?\n" :empty-lines-before 1)
|
||
("p" "Personal" entry (file "~/org/personal.org") "* TODO %?\n" :empty-lines-before 1)))
|
||
org-latex-listings 'minted
|
||
org-latex-packages-alist '(("" "minted"))
|
||
org-latex-pdf-process
|
||
'("pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"
|
||
"pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"
|
||
"pdflatex -shell-escape -interaction nonstopmode -output-directory %o %f"))
|
||
(org-babel-do-load-languages 'org-babel-load-languages '((python . t)
|
||
(shell . t)
|
||
(C . t)
|
||
(dot . t))))
|
||
|
||
;; I dont want \alert to be my bold text in TeX
|
||
(defun mth/beamer-bold (contents backend info)
|
||
(when (eq backend 'beamer)
|
||
(replace-regexp-in-string "\\`\\\\[A-Za-z0-9]+" "\\\\textbf" contents)))
|
||
|
||
;; Custom export settings
|
||
(use-package ox
|
||
:after org
|
||
:config
|
||
(add-to-list 'org-export-filter-bold-functions 'mth/beamer-bold)
|
||
(add-to-list 'org-latex-logfiles-extensions "tex")) ;; dont generate .tex file
|
||
|
||
;; Fancy bullets for org
|
||
(use-package org-superstar
|
||
:straight t
|
||
:after org
|
||
:hook
|
||
(org-mode . org-superstar-mode)
|
||
:config
|
||
;; uncomment if slowdown happens
|
||
;;(setq inhibit-compacting-font-caches t)
|
||
;; base config, as i wont use level 8
|
||
(set-face-attribute 'org-level-8 nil :font "Product Sans" :weight 'bold :inherit 'default)
|
||
;; make first 3 bigger
|
||
(set-face-attribute 'org-level-3 nil :inherit 'org-level-8 :height 1.1)
|
||
(set-face-attribute 'org-level-2 nil :inherit 'org-level-8 :height 1.15)
|
||
(set-face-attribute 'org-level-1 nil :inherit 'org-level-8 :height 1.2)
|
||
;; Low levels are unimportant => no scaling
|
||
(set-face-attribute 'org-level-7 nil :inherit 'org-level-8)
|
||
(set-face-attribute 'org-level-6 nil :inherit 'org-level-8)
|
||
(set-face-attribute 'org-level-5 nil :inherit 'org-level-8)
|
||
(set-face-attribute 'org-level-4 nil :inherit 'org-level-8))
|
||
|
||
;; Auto latex rendering in org-mode
|
||
(use-package org-fragtog
|
||
:straight t
|
||
:hook
|
||
(org-mode . org-fragtog-mode))
|
||
|
||
;; Graphs in org
|
||
(use-package graphviz-dot-mode
|
||
:straight t
|
||
:hook
|
||
(graphviz-dot-mode . (lambda () (set-input-method "math")))
|
||
:config
|
||
(setq graphviz-dot-indent-width 4))
|
||
|
||
|
||
|
||
;;;
|
||
;;; PROGRAMMING
|
||
;;;
|
||
|
||
|
||
;; Git integration
|
||
(use-package magit
|
||
:straight t
|
||
:general
|
||
(vim-leader-def 'normal 'global
|
||
"gb" 'magit-branch
|
||
"gc" 'magit-checkout
|
||
"gc" 'magit-commit
|
||
"gd" 'magit-diff
|
||
"gg" 'counsel-git-grep
|
||
"gi" 'magit-gitignore-in-topdir
|
||
"gj" 'magit-blame
|
||
"gl" 'magit-log
|
||
"gp" 'magit-push
|
||
"gs" 'magit-status
|
||
"gu" 'magit-pull))
|
||
|
||
;; File bar
|
||
(use-package treemacs
|
||
:straight t
|
||
:defer t
|
||
:config
|
||
(setq treemacs-follow-after-init t
|
||
treemacs-persist-file (expand-file-name ".cache/treemacs-persist" user-emacs-directory)
|
||
treemacs-width 40
|
||
treemacs-project-follow-cleanup t
|
||
treemacs-tag-follow-cleanup t
|
||
treemacs-expand-after-init nil
|
||
treemacs-recenter-after-file-follow t
|
||
treemacs-recenter-after-tag-follow t
|
||
treemacs-tag-follow-delay 1)
|
||
(treemacs-follow-mode t)
|
||
(treemacs-load-theme "Default")
|
||
(dolist (face '(treemacs-root-face
|
||
treemacs-git-unmodified-face
|
||
treemacs-git-modified-face
|
||
treemacs-git-renamed-face
|
||
treemacs-git-ignored-face
|
||
treemacs-git-untracked-face
|
||
treemacs-git-added-face
|
||
treemacs-git-conflict-face
|
||
treemacs-directory-face
|
||
treemacs-directory-collapsed-face
|
||
treemacs-file-face
|
||
treemacs-tags-face))
|
||
(set-face-attribute face nil :family "Product Sans" :height 100))
|
||
:bind
|
||
(:map global-map
|
||
("C-x t t" . treemacs)))
|
||
|
||
;; C-c C-p -> projectile
|
||
;; C-c C-w -> workspace
|
||
|
||
(use-package treemacs-evil
|
||
:after (treemacs evil)
|
||
:straight t)
|
||
|
||
(use-package treemacs-magit
|
||
:after (treemacs magit)
|
||
:straight t)
|
||
|
||
;; Highlight TODOs
|
||
(use-package hl-todo
|
||
:straight t
|
||
:hook
|
||
(prog-mode . hl-todo-mode)
|
||
:config
|
||
(defface hl-todo-TODO
|
||
'((t :background "#cc241d" :foreground "#ffffff"))
|
||
"TODO Face")
|
||
(setq hl-todo-highlight-punctuation ":"
|
||
hl-todo-color-background t
|
||
hl-todo-keyword-faces '(("TODO" . hl-todo-TODO)
|
||
("XXX" . hl-todo-TODO)
|
||
("FIXME" . hl-todo-TODO))))
|
||
|
||
|
||
;;;
|
||
;;; LSP
|
||
;;;
|
||
|
||
|
||
;; Lsp-mode has more features than eglot
|
||
(use-package lsp-mode
|
||
:straight t
|
||
:commands (lsp lsp-deferred)
|
||
:init
|
||
(setq lsp-keymap-prefix "C-l")
|
||
:config
|
||
(lsp-enable-which-key-integration t)
|
||
(setq lsp-rust-server 'rust-analyzer
|
||
lsp-auto-guess-root t
|
||
lsp-idle-delay 1
|
||
lsp-enable-file-watchers nil)
|
||
:hook
|
||
(rust-mode . lsp)
|
||
(java-mode . lsp)
|
||
(python-mode . lsp)
|
||
(haskell-mode . lsp))
|
||
|
||
;; Tags (search e.g. for structs)
|
||
(use-package lsp-ivy
|
||
:straight t
|
||
:after lsp-mode
|
||
:bind(:map lsp-mode-map ("C-l g a" . lsp-ivy-workspace-symbol)))
|
||
|
||
;; Completion for Lsp
|
||
(use-package company
|
||
:straight t
|
||
:hook
|
||
(lsp-mode . company-mode)
|
||
(prog-mode . company-mode)
|
||
(LaTeX-mode . company-mode)
|
||
(org-mode . company-mode)
|
||
:custom
|
||
(company-minimum-prefix-length 3)
|
||
(company-idle-delay 0.5)
|
||
:bind (:map company-active-map
|
||
("C-j" . company-select-next-or-abort) ;; down
|
||
("C-k" . company-select-previous-or-abort) ;; up
|
||
("C-l" . company-complete-selection))) ;; right, as in complete towards the right
|
||
|
||
;; Frontend for company
|
||
(use-package company-box
|
||
:straight t
|
||
:config
|
||
(setq company-box-doc-delay 2.0
|
||
company-box-max-candidates 10)
|
||
:hook
|
||
(company-mode . company-box-mode))
|
||
|
||
;; Project support
|
||
(use-package projectile
|
||
:straight t
|
||
:after lsp
|
||
:config
|
||
(setq projectile-completion-system 'ivy)
|
||
(projectile-mode +1))
|
||
|
||
;; Snippet support
|
||
(defun company-mode/backend-with-yas (backend)
|
||
(if (and (listp backend) (member 'company-yasnippet backend))
|
||
backend
|
||
(append (if (consp backend) backend (list backend))
|
||
'(:with company-yasnippet))))
|
||
|
||
(defun company-mode/add-yasnippet ()
|
||
(setq company-backends (mapcar #'company-mode/backend-with-yas company-backends)))
|
||
|
||
(use-package yasnippet
|
||
:straight t
|
||
:init
|
||
:bind (:map yas-minor-mode-map
|
||
("C-y" . yas-expand))
|
||
:hook
|
||
(company-mode . yas-minor-mode)
|
||
(company-mode . company-mode/add-yasnippet))
|
||
|
||
;; Actual snippets
|
||
(use-package yasnippet-snippets
|
||
:straight (yasnippet-snippets :type git :host github :repo "AndreaCrotti/yasnippet-snippets"
|
||
:fork (:host github
|
||
:repo "crammk/yasnippet-snippets"))
|
||
:after yasnippet)
|
||
|
||
;; Compilation for lsp
|
||
(use-package flycheck
|
||
:straight t
|
||
:after lsp)
|
||
|
||
;; Rust
|
||
(use-package rust-mode
|
||
:straight t
|
||
:hook
|
||
(rust-mode . prettify-symbols-mode)
|
||
(rust-mode . (lambda ()
|
||
(push '("->" . ?→) prettify-symbols-alist)
|
||
(push '("=>" . ?⇒) prettify-symbols-alist)
|
||
(push '("!=" . ?≠) prettify-symbols-alist)
|
||
(push '("<=" . ?≤) prettify-symbols-alist)
|
||
(push '(">=" . ?≥) prettify-symbols-alist))))
|
||
|
||
;; Haskell
|
||
(use-package haskell-mode
|
||
:straight t
|
||
:hook
|
||
(haskell-mode . interactive-haskell-mode))
|
||
|
||
(use-package lsp-haskell
|
||
:straight t
|
||
:after lsp
|
||
:hook
|
||
(haskell-mode . lsp)
|
||
(haskell-literate-mode . lsp))
|
||
|
||
;; WebGpuShaderLanguage
|
||
(use-package wgsl-mode
|
||
:straight (wgsl-mode :type git :host github :repo "CramMK/wgsl-mode")
|
||
:mode ("\\.wgsl\\'" . wgsl-mode))
|
||
|
||
;; Java
|
||
(use-package lsp-java
|
||
:straight t
|
||
:after lsp
|
||
:hook
|
||
(java-mode . prettify-symbols-mode)
|
||
(java-mode . (lambda ()
|
||
(push '("!=" . ?≠) prettify-symbols-alist)
|
||
(push '("<=" . ?≤) prettify-symbols-alist)
|
||
(push '(">=" . ?≥) prettify-symbols-alist)))
|
||
:config
|
||
(setq lsp-java-format-on-type-enabled nil))
|
||
|
||
|
||
;;;
|
||
;;; INPUT METHODS
|
||
;;;
|
||
|
||
|
||
;; Custom math symbols
|
||
(use-package math-symbol-lists
|
||
:straight t
|
||
:config
|
||
(quail-define-package "math" "UTF-8" "Ω" t)
|
||
(quail-define-rules
|
||
; Equality and order
|
||
("<=" ?≤) (">=" ?≥) ("\\prec" ?≺) ("\\preceq" ?≼) ("\\succ" ?≻)
|
||
("\\succeq" ?≽)
|
||
("/=" ?≠) ("\\neq" ?≠) ("\\=n" ?≠)("\\equiv" ?≡) ("\\nequiv" ?≢)
|
||
("\\approx" ?≈) ("\\~~" ?≈) ("\\t=" ?≜) ("\\def=" ?≝)
|
||
|
||
; Set theory
|
||
("\\sub" ?⊆) ("\\subset" ?⊂) ("\\subseteq" ?⊆) ("\\in" ?∈)
|
||
("\\inn" ?∉) ("\\:" ?∈) ("\\cap" ?∩) ("\\inter" ?∩)
|
||
("\\cup" ?∪) ("\\uni" ?∪) ("\\emptyset" ?∅) ("\\empty" ?∅)
|
||
("\\times" ?×) ("\\x" ?×)
|
||
|
||
; Number stuff
|
||
("\\div" ?∣) ("\\infty" ?∞) ("\\sqrt" ?√) ("\\Im" ?ℑ) ("\\Re" ?ℜ)
|
||
|
||
; Logic
|
||
("\\/" ?∨) ("\\and" ?∧) ("/\\" ?∧) ("\\or" ?∨) ("~" ?¬) ("\neg" ?¬)
|
||
("|-" ?⊢) ("|-n" ?⊬) ("\\bot" ?⊥) ("\\top" ?⊤) ("\\r" ?→) ("\\lr" ?↔)
|
||
("\\qed" ?∎)
|
||
|
||
; Predicate logic
|
||
("\\all" ?∀) ("\\ex" ?∃) ("\\exn" ?∄)
|
||
|
||
; functions
|
||
("\\to" ?→) ("\\mapsto" ?↦) ("\\circ" ?∘) ("\\comp" ?∘) ("\\integral" ?∫)
|
||
("\\fun" ?λ)
|
||
|
||
; Sets of numbers
|
||
("\\nat" ?ℕ) ("\\N" ?ℕ) ("\\int" ?ℤ) ("\\Z" ?ℤ) ("\\rat" ?ℚ) ("\\Q" ?ℚ)
|
||
("\\real" ?ℝ) ("\\R" ?ℝ) ("\\complex" ?ℂ) ("\\C" ?ℂ) ("\\prime" ?ℙ)
|
||
("\\P" ?ℙ)
|
||
|
||
; Complexity
|
||
("\\bigo" ?𝒪)
|
||
|
||
; Greek
|
||
("\\Ga" ?α) ("\\GA" ?Α) ("\\a" ?α)
|
||
("\\Gb" ?β) ("\\GB" ?Β) ("\\b" ?β)
|
||
("\\Gg" ?γ) ("\\GG" ?Γ) ("\\g" ?γ) ("\\Gamma" ?Γ)
|
||
("\\Gd" ?δ) ("\\GD" ?Δ) ("\\del" ?δ) ("\\Del" ?Δ)
|
||
("\\Ge" ?ε) ("\\GE" ?Ε) ("\\eps" ?ε)
|
||
("\\Gz" ?ζ) ("\\GZ" ?Ζ)
|
||
("\\Gh" ?η) ("\\Gh" ?Η) ("\\mu" ?μ)
|
||
("\\Gth" ?θ) ("\\GTH" ?Θ) ("\\the" ?θ) ("\\The" ?Θ)
|
||
("\\Gi" ?ι) ("\\GI" ?Ι) ("\\iota" ?ι)
|
||
("\\Gk" ?κ) ("\\GK" ?Κ)
|
||
("\\Gl" ?λ) ("\\GL" ?Λ) ("\\lam" ?λ)
|
||
("\\Gm" ?μ) ("\\GM" Μ) ("\\mu" ?μ)
|
||
("\\Gx" ?ξ) ("\\GX" ?Ξ) ("\\xi" ?ξ) ("\\Xi" ?Ξ)
|
||
("\\Gp" ?π) ("\\GP" ?Π) ("\\pi" ?π) ("\\Pi" ?Π)
|
||
("\\Gr" ?ρ) ("\\GR" ?Ρ) ("\\rho" ?ρ)
|
||
("\\Gs" ?σ) ("\\GS" ?Σ) ("\\sig" ?σ) ("\\Sig" ?Σ)
|
||
("\\Gt" ?τ) ("\\GT" ?Τ) ("\\tau" ?τ)
|
||
("\\Gph" ?ϕ) ("\\GPH" ?Φ) ("\\phi" ?ϕ) ("\\Phi" ?Φ)
|
||
("\\Gc" ?χ) ("\\GC" ?Χ) ("\\chi" ?χ)
|
||
("\\Gp" ?ψ) ("\\GP" ?Ψ) ("\\psi" ?ψ)
|
||
("\\Go" ?ω) ("\\GO" ?Ω) ("\\omega" ?ω) ("\\Omega" ?Ω)
|
||
)
|
||
(mapc (lambda (x)
|
||
(if (cddr x)
|
||
(quail-defrule (cadr x) (car (cddr x)))))
|
||
(append math-symbol-list-superscripts
|
||
math-symbol-list-subscripts)))
|
||
|
||
) ;; close performance let
|