packages.el 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833
  1. ;;; use-package example:
  2. ;; (use-package foo
  3. ;; :init ; Runs before loading the package. WIll always run, even if foo isn't on this system.
  4. ;; :config ; Runs after.
  5. ;; :bind (("M-s O" . action)
  6. ;; ("" . some-other-action))
  7. ;; :commands foo-mode ; Creates autoloads for commands: defers loading until called.
  8. ;; )
  9. ;; Package installation
  10. (require 'package)
  11. ;; Create the package install directory if it doesn't exist
  12. (setq package-user-dir (format "%selpa_%s/"
  13. user-emacs-directory emacs-major-version)) ; default = ~/.emacs.d/elpa/
  14. (package-initialize)
  15. (add-to-list 'package-archives '("org" . "http://orgmode.org/elpa/"))
  16. (add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/"))
  17. (setq package-enable-at-startup nil)
  18. (unless (package-installed-p 'use-package)
  19. (package-refresh-contents)
  20. (package-install 'use-package))
  21. (eval-when-compile
  22. (require 'use-package))
  23. ;;;; Required packages
  24. (use-package diminish
  25. :ensure t)
  26. (diminish 'visual-line-mode)
  27. (diminish 'abbrev-mode)
  28. (use-package autorevert
  29. :diminish auto-revert-mode)
  30. (use-package bind-key
  31. :ensure t)
  32. (use-package iedit
  33. :ensure t)
  34. (use-package hydra
  35. :ensure t)
  36. (use-package engine-mode
  37. :ensure t)
  38. (use-package evil
  39. :ensure t
  40. :config
  41. (evil-mode t)
  42. (setq evil-want-C-i-jump nil)
  43. (setq evil-default-state 'normal)
  44. ;; Move all elements of evil-emacs-state-modes to evil-motion-state-modes
  45. (setq evil-motion-state-modes (append evil-emacs-state-modes evil-motion-state-modes)
  46. evil-emacs-state-modes (list 'magit-popup-mode))
  47. (delete 'magit-popup-mode evil-motion-state-modes)
  48. ;; Don't echo evil's states
  49. (setq evil-insert-state-message nil
  50. evil-visual-state-message nil)
  51. ;; Little words (camelCase)
  52. (evil-define-motion evil-little-word (count)
  53. :type exclusive
  54. (let* ((case-fold-search nil)
  55. (count (if count count 1)))
  56. (while (> count 0)
  57. (forward-char)
  58. (search-forward-regexp "[_A-Z]\\|\\W" nil t)
  59. (backward-char)
  60. (decf count))))
  61. ;; Don't litter registers with whitespace
  62. (defun destroy-whitespace--evil-delete-around (func beg end type &optional reg yh)
  63. (let ((clean-string (replace-regexp-in-string "[ \t\n]" "" (buffer-substring beg end))))
  64. (if (equal "" clean-string)
  65. (apply func beg end type ?_ yh)
  66. (apply func beg end type reg yh))))
  67. (advice-add 'evil-delete :around #'destroy-whitespace--evil-delete-around)
  68. ;; eval the last sexp while in normal mode (include the character the cursor is currently on)
  69. (defun evil-eval-last-sexp ()
  70. (interactive)
  71. (evil-append 1)
  72. (eval-last-sexp nil)
  73. (evil-normal-state))
  74. ;; "pull" left and right with zs and ze
  75. (defun hscroll-cursor-left ()
  76. (interactive "@")
  77. (set-window-hscroll (selected-window) (current-column)))
  78. (defun hscroll-cursor-right ()
  79. (interactive "@")
  80. (set-window-hscroll (selected-window) (- (current-column) (window-width) -1)))
  81. ;; Horizontal scrolling
  82. (setq auto-hscroll-mode 't)
  83. (setq hscroll-margin 0
  84. hscroll-step 1)
  85. (defhydra hydra-window (global-map "C-w")
  86. "window layout"
  87. ("u" winner-undo "undo")
  88. ("U" winner-redo "redo"))
  89. ;; Make K select manpage or engine-mode (m for man, g for google?)
  90. (defengine google
  91. "http://www.google.com/search?ie=utf-8&oe=utf-8&q=%s")
  92. (defhydra hydra-lookup-menu ()
  93. "Choose lookup"
  94. ("g" engine/search-google "Google" :color blue)
  95. ("m" evil-lookup "man" :color blue))
  96. (define-key evil-normal-state-map "K" 'hydra-lookup-menu/body)
  97. (define-key evil-visual-state-map "K" 'hydra-lookup-menu/body)
  98. :bind (:map evil-normal-state-map
  99. ("zs" . hscroll-cursor-left)
  100. ("ze" . hscroll-cursor-right)
  101. ("[s" . flyspell-goto-previous-error)
  102. ("]s" . flyspell-goto-next-error)
  103. ("\C-x \C-e" . evil-eval-last-sexp)
  104. :map Info-mode-map
  105. ("g" . nil)
  106. ("n" . nil)
  107. ("p" . nil)
  108. :map evil-window-map
  109. ("q" . delete-window)
  110. ("C-q" . delete-window)
  111. :map evil-operator-state-map
  112. ("lw" . evil-little-word)))
  113. (use-package evil-numbers
  114. :ensure t
  115. :config
  116. ;; Increment and decrement (evil-numbers)
  117. (defhydra hydra-numbers (global-map "C-x")
  118. "modify numbers"
  119. ("a" evil-numbers/inc-at-pt "increment")
  120. ("x" evil-numbers/dec-at-pt "decrement")))
  121. (use-package undo-tree
  122. :ensure t
  123. :diminish undo-tree-mode)
  124. (use-package undohist
  125. :ensure t
  126. :config
  127. ;; Save undo history under .emacs.d/undohist
  128. (setq undohist-directory "~/.emacs.d/undohist")
  129. (unless (file-exists-p "~/.emacs.d/undohist")
  130. (make-directory "~/.emacs.d/undohist"))
  131. (undohist-initialize))
  132. (use-package powerline-evil
  133. :ensure t
  134. :config
  135. (defun powerline-center-evil-theme ()
  136. "Setup a mode-line with major, evil, and minor modes centered."
  137. (interactive)
  138. (setq-default mode-line-format
  139. '("%e"
  140. (:eval
  141. (let* ((active (powerline-selected-window-active))
  142. (mode-line-buffer-id (if active 'mode-line-buffer-id 'mode-line-buffer-id-inactive))
  143. (mode-line (if active 'mode-line 'mode-line-inactive))
  144. (face1 (if active 'powerline-active1 'powerline-inactive1))
  145. (face2 (if active 'powerline-active2 'powerline-inactive2))
  146. (separator-left (intern (format "powerline-%s-%s"
  147. (powerline-current-separator)
  148. (car powerline-default-separator-dir))))
  149. (separator-right (intern (format "powerline-%s-%s"
  150. (powerline-current-separator)
  151. (cdr powerline-default-separator-dir))))
  152. (lhs (list (powerline-raw "%*" mode-line 'l)
  153. (powerline-buffer-id mode-line-buffer-id 'l)
  154. (powerline-raw " ")
  155. (funcall separator-left mode-line face1)
  156. (powerline-narrow face1 'l)
  157. (powerline-vc face1)))
  158. (rhs (list (funcall separator-right face1 mode-line)
  159. (powerline-raw mode-line-misc-info mode-line 'r)
  160. ;(powerline-raw global-mode-string face1 'r)
  161. (powerline-raw "%2l" mode-line 'r)
  162. (powerline-raw ":" mode-line)
  163. (powerline-raw "%2c" mode-line 'r)
  164. ;(powerline-raw " ")
  165. ;(powerline-raw "%6p" mode-line 'r)
  166. (powerline-hud face2 face1)))
  167. (center (append (list (powerline-raw " " face1)
  168. (funcall separator-left face1 face2)
  169. (when (and (boundp 'erc-track-minor-mode) erc-track-minor-mode)
  170. (powerline-raw erc-modified-channels-object face2 'l))
  171. (powerline-major-mode face2 'l)
  172. (powerline-process face2)
  173. (powerline-raw " " face2))
  174. (if (split-string (format-mode-line minor-mode-alist))
  175. (append (if evil-mode
  176. (list (funcall separator-right face2 face1)
  177. (powerline-raw evil-mode-line-tag face1 'l)
  178. (powerline-raw " " face1)
  179. (funcall separator-left face1 face2)))
  180. (list (powerline-minor-modes face2 'l)
  181. (powerline-raw " " face2)
  182. (funcall separator-right face2 face1)))
  183. (list (powerline-raw evil-mode-line-tag face2)
  184. (funcall separator-right face2 face1))))))
  185. (concat (powerline-render lhs)
  186. (powerline-fill-center face1 (/ (powerline-width center) 2.0))
  187. (powerline-render center)
  188. (powerline-fill face1 (powerline-width rhs))
  189. (powerline-render rhs)))))))
  190. (defun powerline-evil-vim-theme ()
  191. "Powerline's Vim-like mode-line with evil state at the beginning."
  192. (interactive)
  193. (setq-default mode-line-format
  194. '("%e"
  195. (:eval
  196. (let* ((active (powerline-selected-window-active))
  197. (mode-line (if active 'mode-line 'mode-line-inactive))
  198. (face1 (if active 'powerline-active1 'powerline-inactive1))
  199. (face2 (if active 'powerline-active2 'powerline-inactive2))
  200. (separator-left (intern (format "powerline-%s-%s"
  201. (powerline-current-separator)
  202. (car powerline-default-separator-dir))))
  203. (separator-right (intern (format "powerline-%s-%s"
  204. (powerline-current-separator)
  205. (cdr powerline-default-separator-dir))))
  206. (lhs (list (if evil-mode
  207. (powerline-raw (powerline-evil-tag) mode-line))
  208. (powerline-buffer-id `(mode-line-buffer-id ,mode-line) 'l)
  209. (powerline-raw "[" mode-line 'l)
  210. (powerline-major-mode mode-line)
  211. (powerline-process mode-line)
  212. (powerline-raw "]" mode-line)
  213. (when (buffer-modified-p)
  214. (powerline-raw "[+]" mode-line))
  215. (when buffer-read-only
  216. (powerline-raw "[RO]" mode-line))
  217. ;; (powerline-raw (concat "[" (mode-line-eol-desc) "]") mode-line)
  218. (when (and (boundp 'which-func-mode) which-func-mode)
  219. (powerline-raw which-func-format nil 'l))
  220. (when (boundp 'erc-modified-channels-object)
  221. (powerline-raw erc-modified-channels-object face1 'l))
  222. (powerline-raw "[" mode-line 'l)
  223. (powerline-minor-modes mode-line) (powerline-raw "%n" mode-line)
  224. (powerline-raw "]" mode-line)
  225. (when (and vc-mode buffer-file-name)
  226. (let ((backend (vc-backend buffer-file-name)))
  227. (when backend
  228. (concat (powerline-raw "[" mode-line 'l)
  229. (powerline-raw (format "%s / %s" backend (vc-working-revision buffer-file-name backend)))
  230. (powerline-raw "]" mode-line)))))))
  231. (rhs (list (powerline-raw mode-line-misc-info mode-line 'r)
  232. (powerline-raw global-mode-string mode-line 'r)
  233. (powerline-raw "%l," mode-line 'l)
  234. (powerline-raw (format-mode-line '(10 "%c")))
  235. (powerline-raw (replace-regexp-in-string "%" "%%" (format-mode-line '(-3 "%p"))) mode-line 'r))))
  236. (concat (powerline-render lhs)
  237. (powerline-fill mode-line (powerline-width rhs))
  238. (powerline-render rhs)))))))
  239. (if (or (display-graphic-p) (daemonp))
  240. (powerline-center-evil-theme)
  241. (powerline-evil-vim-theme)))
  242. (use-package linum-relative
  243. :ensure t
  244. :diminish linum-relative-mode
  245. :config
  246. (setq linum-relative-current-symbol "")
  247. (linum-mode)
  248. (linum-relative-global-mode)
  249. (defun linum-update-window-scale-fix (win)
  250. "fix linum for scaled text"
  251. (set-window-margins
  252. win
  253. (ceiling (* (if (boundp 'text-scale-mode-step)
  254. (expt text-scale-mode-step
  255. text-scale-mode-amount) 1)
  256. (if (car (window-margins))
  257. (car (window-margins)) 1)
  258. ))))
  259. (advice-add #'linum-update-window
  260. :after #'linum-update-window-scale-fix))
  261. (use-package evil-leader
  262. :ensure t
  263. :config
  264. (global-evil-leader-mode)
  265. (evil-leader/set-leader "<SPC>")
  266. (evil-leader/set-key
  267. "d" 'diff-buffer-with-file
  268. "v" 'ivy-switch-buffer
  269. "b" 'buffer-menu
  270. "f" 'neotree-toggle
  271. "u" 'undo-tree-visualize
  272. "l" 'auto-fill-mode
  273. "s" 'flyspell-toggle-correct-mode
  274. "a" 'company-mode
  275. "g" 'magit-status
  276. "M-g" 'magit-dispatch-popup
  277. "c" 'flycheck-mode
  278. "w" '(lambda () (interactive)
  279. ;; "writing" mode
  280. (variable-pitch-mode)
  281. (visual-line-mode)
  282. (flyspell-toggle-correct-mode))
  283. ))
  284. (use-package neotree
  285. :ensure t
  286. :config
  287. ;; Set vi-like bindings in neotree-mode that don't conflict with evil
  288. (evil-define-key 'normal neotree-mode-map
  289. (kbd "q") 'neotree-hide
  290. (kbd "RET") 'neotree-enter
  291. (kbd "h") 'neotree-hidden-file-toggle
  292. (kbd "r") 'neotree-refresh)
  293. ;; Every time when the neotree window is opened, let it find current file and jump to node.
  294. (setq neo-smart-open t)
  295. ;; List of files to hide
  296. (setq neo-hidden-regexp-list '("^\\." "\\.pyc$" "~$" "^#.*#$" "\\.elc$" "\\.class")))
  297. (use-package editorconfig
  298. :ensure t
  299. :diminish editorconfig-mode
  300. :config
  301. (editorconfig-mode 1))
  302. (use-package ivy
  303. :ensure t
  304. :diminish ivy-mode
  305. :config
  306. (ivy-mode)
  307. (setq ivy-use-virtual-buffers t))
  308. (use-package flx
  309. :ensure t
  310. :config
  311. (setq ivy-re-builders-alist '((t . ivy--regex-fuzzy))))
  312. (use-package company
  313. :ensure t
  314. :diminish company-mode
  315. :config
  316. (add-hook 'prog-mode-hook 'company-mode)
  317. )
  318. (use-package flycheck
  319. :ensure t
  320. :diminish flycheck-mode
  321. :config
  322. (add-hook 'prog-mode-hook 'flycheck-mode)
  323. (setq flycheck-check-syntax-automatically '(idle-change new-line save mode-enabled))
  324. ;; (setq flycheck-checkers (delq 'emacs-lisp-checkdoc flycheck-checkers))
  325. ;; (setq flycheck-checkers (delq 'html-tidy flycheck-checkers))
  326. ;; (setq flycheck-standard-error-navigation nil)
  327. )
  328. (use-package flycheck-pos-tip
  329. :ensure t
  330. :after flycheck
  331. :config
  332. (flycheck-pos-tip-mode))
  333. (use-package evil-surround
  334. :ensure t
  335. :config
  336. (global-evil-surround-mode 1))
  337. (use-package dtrt-indent
  338. :ensure t
  339. :diminish dtrt-indent-mode
  340. :config
  341. (dtrt-indent-mode 1))
  342. (use-package org
  343. :ensure t
  344. :config
  345. (setq org-log-done 'time)
  346. )
  347. (use-package org-agenda
  348. :after org
  349. :init
  350. ;; Rip org-timeline
  351. (defun org-timeline ()
  352. (interactive)
  353. (if (not (derived-mode-p 'org-mode))
  354. (message "Not in Org buffer.")
  355. (org-agenda nil "t" 'buffer)))
  356. :config
  357. (setq org-agenda-custom-commands
  358. '(("t" "Events" agenda "display deadlines and exclude scheduled"
  359. ((org-agenda-span 'year)
  360. (org-agenda-time-grid nil)
  361. (org-agenda-show-all-dates nil)
  362. (org-agenda-entry-types '(:deadline)) ;; this entry excludes :scheduled
  363. (org-deadline-warning-days 7))))))
  364. (use-package org-preview-html
  365. :after org
  366. :ensure t)
  367. (use-package evil-ediff
  368. :ensure t
  369. :config
  370. (add-hook 'ediff-load-hook 'evil-ediff-init))
  371. (use-package rainbow-delimiters
  372. :ensure t
  373. :config
  374. (add-hook 'prog-mode-hook #'rainbow-delimiters-mode))
  375. (use-package rainbow-identifiers
  376. :ensure t
  377. :config
  378. (add-hook 'prog-mode-hook #'rainbow-identifiers-mode)
  379. (setq rainbow-identifiers-faces-to-override
  380. '(
  381. font-lock-constant-face
  382. font-lock-type-face
  383. font-lock-function-name-face
  384. font-lock-variable-name-face
  385. font-lock-keyword-face)))
  386. (use-package rainbow-mode
  387. :ensure t
  388. :diminish rainbow-mode
  389. :config
  390. (add-hook 'prog-mode-hook #'rainbow-mode))
  391. (use-package eyebrowse
  392. :ensure t
  393. :config
  394. (eyebrowse-mode t)
  395. (eyebrowse-setup-evil-keys)
  396. (setq eyebrowse-new-workspace t))
  397. (use-package solarized-theme
  398. :ensure t)
  399. (use-package solaire-mode
  400. :ensure t
  401. :config
  402. ;; highlight the minibuffer when it is activated
  403. (set-face-attribute 'solaire-minibuffer-face nil :inherit 'solaire-default-face :background "blanched almond")
  404. (add-hook 'minibuffer-setup-hook #'solaire-mode-in-minibuffer))
  405. ;; OS specific
  406. (use-package magit
  407. :if (not (eq system-type 'windows-nt))
  408. :ensure t
  409. :diminish magit-auto-revert-mode)
  410. (use-package evil-magit
  411. :if (not (eq system-type 'windows-nt))
  412. :ensure t
  413. :demand
  414. :config
  415. (evil-magit-init))
  416. (use-package magithub
  417. :if (not (eq system-type 'windows-nt))
  418. :ensure t
  419. :demand
  420. (magithub-feature-autoinject t))
  421. (use-package multi-term
  422. :if (not (eq system-type 'windows-nt))
  423. :ensure t)
  424. ;;;; Optional packages
  425. (use-package flymd
  426. :config
  427. (setq flymd-close-buffer-delete-temp-files t))
  428. (use-package web-mode
  429. :config
  430. ;; 2 spaces for an indent
  431. (defun my-web-mode-hook ()
  432. "Hooks for Web mode."
  433. (setq web-mode-markup-indent-offset 2
  434. web-mode-enable-auto-closing t
  435. web-mode-enable-auto-pairing t)
  436. )
  437. (add-hook 'web-mode-hook 'my-web-mode-hook)
  438. ;; Auto-enable web-mode when opening relevent files
  439. (add-to-list 'auto-mode-alist '("\\.html\\'" . web-mode))
  440. (add-to-list 'auto-mode-alist '("\\.hbs\\'" . web-mode))
  441. (add-to-list 'auto-mode-alist '("\\.handlebars\\'" . web-mode)))
  442. (use-package js
  443. :config
  444. (setq js-indent-level 2))
  445. (use-package tide
  446. :config
  447. (setq typescript-indent-level 2))
  448. (use-package racket-mode
  449. :config
  450. (add-to-list 'auto-mode-alist '("\\.scm\\'" . racket-mode))
  451. ;; C-w prefix in racket-REPL
  452. (add-hook 'racket-repl-mode-hook 'racket-repl-evil-hook)
  453. (defun racket-repl-evil-hook ()
  454. (define-key racket-repl-mode-map "\C-w" 'evil-window-map)
  455. (global-set-key (kbd "C-w") 'racket-repl-mode-map)))
  456. (use-package haskell-mode
  457. :config
  458. (setq haskell-interactive-popup-errors nil)
  459. (define-key haskell-mode-map (kbd "C-c C-c") 'haskell-process-load-file)
  460. (define-key haskell-mode-map (kbd "C-c C-p") 'haskell-process-reload)
  461. (if (eq system-type 'windows-nt)
  462. (setq haskell-process-type 'stack-ghci)))
  463. (use-package emojify
  464. :config
  465. (add-hook 'after-init-hook #'global-emojify-mode))
  466. (use-package latex-preview-pane)
  467. ;; List of optional packages
  468. (defvar optional-packages
  469. '(
  470. flymd
  471. markdown-mode
  472. latex-preview-pane
  473. tide
  474. web-mode
  475. racket-mode
  476. haskell-mode
  477. realgud
  478. emojify
  479. auctex
  480. company-auctex
  481. ))
  482. (defvar packages-installed-this-session nil)
  483. (defun ensure-package-installed (prompt package)
  484. "Ensure a package is installed, and (optionally) ask if it isn't."
  485. (if (not (package-installed-p package))
  486. (if (or prompt (y-or-n-p (format "Package %s is missing. Install it? " package)))
  487. ;; If this is the 1st install this session, update before install
  488. (cond ((not packages-installed-this-session)
  489. (package-refresh-contents)
  490. (setq packages-installed-this-session t)
  491. (package-install package))
  492. (t (package-install package))
  493. nil)
  494. package)))
  495. (defun optional-packages-install ()
  496. "Ask to install any optional packages."
  497. (interactive)
  498. (mapcar (lambda (package) (ensure-package-installed nil package)) optional-packages))
  499. ;;;; Builtin configs
  500. (defvar gdb-many-windows t)
  501. (global-prettify-symbols-mode)
  502. (add-hook 'prog-mode-hook
  503. (lambda ()
  504. (setq prettify-symbols-alist
  505. (append
  506. '(
  507. ("->" . ?→)
  508. ("lambda" . ?λ)
  509. ("->" . ?→)
  510. ("<=" . ?≤)
  511. (">=" . ?≥)
  512. ("!=" . ?≠)) prettify-symbols-alist))))
  513. ;; List from https://github.com/cpitclaudel/.emacs.d/blob/master/lisp/prettify-alists/haskell-prettify.el
  514. (add-hook 'haskell-mode-hook
  515. (lambda ()
  516. (setq prettify-symbols-alist
  517. (append
  518. '(;; Double-struck letters
  519. ("|A|" . ?𝔸)
  520. ("|B|" . ?𝔹)
  521. ("|C|" . ?ℂ)
  522. ("|D|" . ?𝔻)
  523. ("|E|" . ?𝔼)
  524. ("|F|" . ?𝔽)
  525. ("|G|" . ?𝔾)
  526. ("|H|" . ?ℍ)
  527. ("|I|" . ?𝕀)
  528. ("|J|" . ?𝕁)
  529. ("|K|" . ?𝕂)
  530. ("|L|" . ?𝕃)
  531. ("|M|" . ?𝕄)
  532. ("|N|" . ?ℕ)
  533. ("|O|" . ?𝕆)
  534. ("|P|" . ?ℙ)
  535. ("|Q|" . ?ℚ)
  536. ("|R|" . ?ℝ)
  537. ("|S|" . ?𝕊)
  538. ("|T|" . ?𝕋)
  539. ("|U|" . ?𝕌)
  540. ("|V|" . ?𝕍)
  541. ("|W|" . ?𝕎)
  542. ("|X|" . ?𝕏)
  543. ("|Y|" . ?𝕐)
  544. ("|Z|" . ?ℤ)
  545. ("|gamma|" . ?ℽ)
  546. ("|Gamma|" . ?ℾ)
  547. ("|pi|" . ?ℼ)
  548. ("|Pi|" . ?ℿ)
  549. ;; Types
  550. ("::" . ?∷)
  551. ;; Quantifiers
  552. ("forall" . ?∀)
  553. ("exists" . ?∃)
  554. ;; Arrows
  555. ("-->" . ?⟶)
  556. ("<-" . ?←)
  557. ("<--" . ?⟵)
  558. ("<->" . ?↔)
  559. ("<-->" . ?⟷)
  560. ("=>" . ?⇒)
  561. ("==>" . ?⟹)
  562. ("<==" . ?⟸)
  563. ("<=>" . ?⇔)
  564. ("<==>" . ?⟺)
  565. ("|->" . ?↦)
  566. ("|-->" . ?⟼)
  567. ("<-|" . ?↤)
  568. ("<--|" . ?⟻)
  569. ("|=>" . ?⤇)
  570. ("|==>" . ?⟾)
  571. ("<=|" . ?⤆)
  572. ("<==|" . ?⟽)
  573. ("~>" . ?⇝)
  574. ("<~" . ?⇜)
  575. (">->" . ?↣)
  576. ("<-<" . ?↢)
  577. ("->>" . ?↠)
  578. ("<<-" . ?↞)
  579. (">->>" . ?⤖)
  580. ("<<-<" . ?⬻)
  581. ("<|-" . ?⇽)
  582. ("-|>" . ?⇾)
  583. ("<|-|>" . ?⇿)
  584. ("<-/-" . ?↚)
  585. ("-/->" . ?↛)
  586. ("<-|-" . ?⇷)
  587. ("-|->" . ?⇸)
  588. ("<-|->" . ?⇹)
  589. ("<-||-" . ?⇺)
  590. ("-||->" . ?⇻)
  591. ("<-||->" . ?⇼)
  592. ("-o->" . ?⇴)
  593. ("<-o-" . ?⬰)
  594. ;; Boolean operators
  595. ("not" . ?¬)
  596. ("&&" . ?∧)
  597. ("||" . ?∨)
  598. ;; Relational operators
  599. ("==" . ?≡)
  600. ("/=" . ?≠)
  601. ("<=" . ?≤)
  602. (">=" . ?≥)
  603. ("/<" . ?≮)
  604. ("/>" . ?≯)
  605. ;; Containers / Collections
  606. ("++" . ?⧺)
  607. ("+++" . ?⧻)
  608. ("|||" . ?⫴)
  609. ("empty" . ?∅)
  610. ("elem" . ?∈)
  611. ("notElem" . ?∉)
  612. ("member" . ?∈)
  613. ("notMember" . ?∉)
  614. ("union" . ?∪)
  615. ("intersection" . ?∩)
  616. ("isSubsetOf" . ?⊆)
  617. ("isProperSubsetOf" . ?⊂)
  618. ;; Other
  619. ("<<" . ?≪)
  620. (">>" . ?≫)
  621. ("<<<" . ?⋘)
  622. (">>>" . ?⋙)
  623. ("<|" . ?⊲)
  624. ("|>" . ?⊳)
  625. ("><" . ?⋈)
  626. ("mempty" . ?∅)
  627. ("mappend" . ?⊕)
  628. ("<*>" . ?⊛)
  629. ("undefined" . ?⊥)
  630. (":=" . ?≔)
  631. ("=:" . ?≕)
  632. ("=def" . ?≝)
  633. ("=?" . ?≟)
  634. ("..." . ?…)) prettify-symbols-alist))))
  635. (setq python--prettify-symbols-alist
  636. '(("def" . #x2131)
  637. ("not" . #x2757)
  638. ("return" . #x27fc)
  639. ("yield" . #x27fb)
  640. ("or" . ?∨)
  641. ("and" . ?∧)
  642. ("None" . ?⊥)
  643. ("set()" . ?∅)
  644. ("not in" . ?∉)
  645. ("in" . ?∈)
  646. ("is not" . ?≢)
  647. ("is" . ?≡)))
  648. (use-package flyspell
  649. :config
  650. ;; move point to previous error
  651. ;; based on code by hatschipuh at
  652. ;; http://emacs.stackexchange.com/a/14912/2017
  653. (defun flyspell-goto-previous-error (arg)
  654. "Go to arg previous spelling error."
  655. (interactive "p")
  656. (while (not (= 0 arg))
  657. (let ((pos (point))
  658. (min (point-min)))
  659. (if (and (eq (current-buffer) flyspell-old-buffer-error)
  660. (eq pos flyspell-old-pos-error))
  661. (progn
  662. (if (= flyspell-old-pos-error min)
  663. ;; goto beginning of buffer
  664. (progn
  665. (message "Restarting from end of buffer")
  666. (goto-char (point-max)))
  667. (backward-word 1))
  668. (setq pos (point))))
  669. ;; seek the next error
  670. (while (and (> pos min)
  671. (let ((ovs (overlays-at pos))
  672. (r '()))
  673. (while (and (not r) (consp ovs))
  674. (if (flyspell-overlay-p (car ovs))
  675. (setq r t)
  676. (setq ovs (cdr ovs))))
  677. (not r)))
  678. (backward-word 1)
  679. (setq pos (point)))
  680. ;; save the current location for next invocation
  681. (setq arg (1- arg))
  682. (setq flyspell-old-pos-error pos)
  683. (setq flyspell-old-buffer-error (current-buffer))
  684. (goto-char pos)
  685. (if (= pos min)
  686. (progn
  687. (message "No more miss-spelled word!")
  688. (setq arg 0))))))
  689. (defun flyspell-toggle-correct-mode ()
  690. "Decide whether to use flyspell-mode or flyspell-prog-mode, then properly toggle."
  691. (interactive)
  692. ;; use flyspell-mode when in text buffers
  693. ;; otherwise use flyspell-prog-mode
  694. (let* ((current-mode
  695. (buffer-local-value 'major-mode (current-buffer)))
  696. (flyspell-mode-to-call
  697. (if (or (string= current-mode "text-mode") (string= current-mode "markdown-mode"))
  698. 'flyspell-mode
  699. 'flyspell-prog-mode)))
  700. ;; toggle the current flyspell mode, and
  701. ;; eval the buffer if we turned it on
  702. (if flyspell-mode
  703. (funcall 'flyspell-mode '0)
  704. (funcall flyspell-mode-to-call)
  705. (flyspell-buffer)))))
  706. (use-package hideshow
  707. :config
  708. (add-hook 'prog-mode-hook
  709. 'hs-minor-mode)
  710. (add-hook 'hs-minor-mode-hook
  711. (lambda ()
  712. (diminish 'hs-minor-mode))))
  713. (use-package recentf
  714. :config
  715. (recentf-mode 1)
  716. (setq recentf-max-saved-items 200
  717. recentf-max-menu-items 15))
  718. (provide 'packages)