packages.el 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805
  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. (use-package flycheck
  316. :ensure t
  317. :diminish flycheck-mode
  318. :config
  319. (add-hook 'after-init-hook #'global-flycheck-mode)
  320. (setq flycheck-check-syntax-automatically '(save mode-enabled))
  321. (setq flycheck-checkers (delq 'emacs-lisp-checkdoc flycheck-checkers))
  322. (setq flycheck-checkers (delq 'html-tidy flycheck-checkers))
  323. (setq flycheck-standard-error-navigation nil)
  324. (global-flycheck-mode t))
  325. (use-package flycheck-pos-tip
  326. :ensure t
  327. :after flycheck
  328. :config
  329. (flycheck-pos-tip-mode))
  330. (use-package evil-surround
  331. :ensure t
  332. :config
  333. (global-evil-surround-mode 1))
  334. (use-package dtrt-indent
  335. :ensure t
  336. :diminish dtrt-indent-mode
  337. :config
  338. (dtrt-indent-mode 1))
  339. (use-package org
  340. :ensure t
  341. :config
  342. (setq org-log-done 'time)
  343. )
  344. ;; Specified to get (org-timeline)
  345. (use-package org-agenda
  346. :after org)
  347. (use-package org-preview-html
  348. :after org
  349. :ensure t)
  350. (use-package evil-ediff
  351. :ensure t
  352. :config
  353. (add-hook 'ediff-load-hook 'evil-ediff-init))
  354. (use-package rainbow-delimiters
  355. :ensure t
  356. :config
  357. (add-hook 'prog-mode-hook #'rainbow-delimiters-mode))
  358. (use-package rainbow-identifiers
  359. :ensure t
  360. :config
  361. (add-hook 'prog-mode-hook #'rainbow-identifiers-mode)
  362. (setq rainbow-identifiers-faces-to-override
  363. '(
  364. font-lock-constant-face
  365. font-lock-type-face
  366. font-lock-function-name-face
  367. font-lock-variable-name-face
  368. font-lock-keyword-face)))
  369. (use-package rainbow-mode
  370. :ensure t
  371. :diminish rainbow-mode
  372. :config
  373. (add-hook 'prog-mode-hook #'rainbow-mode))
  374. (use-package eyebrowse
  375. :ensure t
  376. :config
  377. (eyebrowse-mode t)
  378. (eyebrowse-setup-evil-keys)
  379. (setq eyebrowse-new-workspace t))
  380. (use-package monokai-theme
  381. :ensure t)
  382. ;; OS specific
  383. (use-package magit
  384. :if (not (eq system-type 'windows-nt))
  385. :ensure t
  386. :diminish magit-auto-revert-mode)
  387. (use-package evil-magit
  388. :if (not (eq system-type 'windows-nt))
  389. :ensure t
  390. :demand
  391. :config
  392. (evil-magit-init))
  393. (use-package magithub
  394. :if (not (eq system-type 'windows-nt))
  395. :ensure t
  396. :demand
  397. (magithub-feature-autoinject t))
  398. (use-package multi-term
  399. :if (not (eq system-type 'windows-nt))
  400. :ensure t)
  401. ;;;; Optional packages
  402. (use-package flymd
  403. :config
  404. (setq flymd-close-buffer-delete-temp-files t))
  405. (use-package web-mode
  406. :config
  407. ;; 2 spaces for an indent
  408. (defun my-web-mode-hook ()
  409. "Hooks for Web mode."
  410. (setq web-mode-markup-indent-offset 2
  411. web-mode-enable-auto-closing t
  412. web-mode-enable-auto-pairing t)
  413. )
  414. (add-hook 'web-mode-hook 'my-web-mode-hook)
  415. ;; Auto-enable web-mode when opening relevent files
  416. (add-to-list 'auto-mode-alist '("\\.html\\'" . web-mode))
  417. (add-to-list 'auto-mode-alist '("\\.hbs\\'" . web-mode))
  418. (add-to-list 'auto-mode-alist '("\\.handlebars\\'" . web-mode)))
  419. (use-package js
  420. :config
  421. (setq js-indent-level 2))
  422. (use-package tide
  423. :config
  424. (setq typescript-indent-level 2))
  425. (use-package racket-mode
  426. :config
  427. (add-to-list 'auto-mode-alist '("\\.scm\\'" . racket-mode))
  428. ;; C-w prefix in racket-REPL
  429. (add-hook 'racket-repl-mode-hook 'racket-repl-evil-hook)
  430. (defun racket-repl-evil-hook ()
  431. (define-key racket-repl-mode-map "\C-w" 'evil-window-map)
  432. (global-set-key (kbd "C-w") 'racket-repl-mode-map)))
  433. (use-package haskell-mode
  434. :config
  435. (setq haskell-interactive-popup-errors nil)
  436. (define-key haskell-mode-map (kbd "C-c C-c") 'haskell-process-load-file)
  437. (define-key haskell-mode-map (kbd "C-c C-p") 'haskell-process-reload))
  438. (use-package emojify
  439. :config
  440. (add-hook 'after-init-hook #'global-emojify-mode))
  441. (use-package latex-preview-pane)
  442. ;; List of optional packages
  443. (defvar optional-packages
  444. '(
  445. flymd
  446. markdown-mode
  447. latex-preview-pane
  448. tide
  449. web-mode
  450. racket-mode
  451. haskell-mode
  452. realgud
  453. emojify
  454. ))
  455. (defvar packages-installed-this-session nil)
  456. (defun ensure-package-installed (prompt package)
  457. "Ensure a package is installed, and (optionally) ask if it isn't."
  458. (if (not (package-installed-p package))
  459. (if (or prompt (y-or-n-p (format "Package %s is missing. Install it? " package)))
  460. ;; If this is the 1st install this session, update before install
  461. (cond ((not packages-installed-this-session)
  462. (package-refresh-contents)
  463. (setq packages-installed-this-session t)
  464. (package-install package))
  465. (t (package-install package))
  466. nil)
  467. package)))
  468. (defun optional-packages-install ()
  469. "Ask to install any optional packages."
  470. (interactive)
  471. (mapcar (lambda (package) (ensure-package-installed nil package)) optional-packages))
  472. ;;;; Builtin configs
  473. (defvar gdb-many-windows t)
  474. (global-prettify-symbols-mode)
  475. (add-hook 'prog-mode-hook
  476. (lambda ()
  477. (setq prettify-symbols-alist
  478. (append
  479. '(
  480. ("->" . ?→)
  481. ("lambda" . ?λ)
  482. ("->" . ?→)
  483. ("<=" . ?≤)
  484. (">=" . ?≥)
  485. ("!=" . ?≠)) prettify-symbols-alist))))
  486. ;; List from https://github.com/cpitclaudel/.emacs.d/blob/master/lisp/prettify-alists/haskell-prettify.el
  487. (add-hook 'haskell-mode-hook
  488. (lambda ()
  489. (setq prettify-symbols-alist
  490. (append
  491. '(;; Double-struck letters
  492. ("|A|" . ?𝔸)
  493. ("|B|" . ?𝔹)
  494. ("|C|" . ?ℂ)
  495. ("|D|" . ?𝔻)
  496. ("|E|" . ?𝔼)
  497. ("|F|" . ?𝔽)
  498. ("|G|" . ?𝔾)
  499. ("|H|" . ?ℍ)
  500. ("|I|" . ?𝕀)
  501. ("|J|" . ?𝕁)
  502. ("|K|" . ?𝕂)
  503. ("|L|" . ?𝕃)
  504. ("|M|" . ?𝕄)
  505. ("|N|" . ?ℕ)
  506. ("|O|" . ?𝕆)
  507. ("|P|" . ?ℙ)
  508. ("|Q|" . ?ℚ)
  509. ("|R|" . ?ℝ)
  510. ("|S|" . ?𝕊)
  511. ("|T|" . ?𝕋)
  512. ("|U|" . ?𝕌)
  513. ("|V|" . ?𝕍)
  514. ("|W|" . ?𝕎)
  515. ("|X|" . ?𝕏)
  516. ("|Y|" . ?𝕐)
  517. ("|Z|" . ?ℤ)
  518. ("|gamma|" . ?ℽ)
  519. ("|Gamma|" . ?ℾ)
  520. ("|pi|" . ?ℼ)
  521. ("|Pi|" . ?ℿ)
  522. ;; Types
  523. ("::" . ?∷)
  524. ;; Quantifiers
  525. ("forall" . ?∀)
  526. ("exists" . ?∃)
  527. ;; Arrows
  528. ("-->" . ?⟶)
  529. ("<-" . ?←)
  530. ("<--" . ?⟵)
  531. ("<->" . ?↔)
  532. ("<-->" . ?⟷)
  533. ("=>" . ?⇒)
  534. ("==>" . ?⟹)
  535. ("<==" . ?⟸)
  536. ("<=>" . ?⇔)
  537. ("<==>" . ?⟺)
  538. ("|->" . ?↦)
  539. ("|-->" . ?⟼)
  540. ("<-|" . ?↤)
  541. ("<--|" . ?⟻)
  542. ("|=>" . ?⤇)
  543. ("|==>" . ?⟾)
  544. ("<=|" . ?⤆)
  545. ("<==|" . ?⟽)
  546. ("~>" . ?⇝)
  547. ("<~" . ?⇜)
  548. (">->" . ?↣)
  549. ("<-<" . ?↢)
  550. ("->>" . ?↠)
  551. ("<<-" . ?↞)
  552. (">->>" . ?⤖)
  553. ("<<-<" . ?⬻)
  554. ("<|-" . ?⇽)
  555. ("-|>" . ?⇾)
  556. ("<|-|>" . ?⇿)
  557. ("<-/-" . ?↚)
  558. ("-/->" . ?↛)
  559. ("<-|-" . ?⇷)
  560. ("-|->" . ?⇸)
  561. ("<-|->" . ?⇹)
  562. ("<-||-" . ?⇺)
  563. ("-||->" . ?⇻)
  564. ("<-||->" . ?⇼)
  565. ("-o->" . ?⇴)
  566. ("<-o-" . ?⬰)
  567. ;; Boolean operators
  568. ("not" . ?¬)
  569. ("&&" . ?∧)
  570. ("||" . ?∨)
  571. ;; Relational operators
  572. ("==" . ?≡)
  573. ("/=" . ?≠)
  574. ("<=" . ?≤)
  575. (">=" . ?≥)
  576. ("/<" . ?≮)
  577. ("/>" . ?≯)
  578. ;; Containers / Collections
  579. ("++" . ?⧺)
  580. ("+++" . ?⧻)
  581. ("|||" . ?⫴)
  582. ("empty" . ?∅)
  583. ("elem" . ?∈)
  584. ("notElem" . ?∉)
  585. ("member" . ?∈)
  586. ("notMember" . ?∉)
  587. ("union" . ?∪)
  588. ("intersection" . ?∩)
  589. ("isSubsetOf" . ?⊆)
  590. ("isProperSubsetOf" . ?⊂)
  591. ;; Other
  592. ("<<" . ?≪)
  593. (">>" . ?≫)
  594. ("<<<" . ?⋘)
  595. (">>>" . ?⋙)
  596. ("<|" . ?⊲)
  597. ("|>" . ?⊳)
  598. ("><" . ?⋈)
  599. ("mempty" . ?∅)
  600. ("mappend" . ?⊕)
  601. ("<*>" . ?⊛)
  602. ("undefined" . ?⊥)
  603. (":=" . ?≔)
  604. ("=:" . ?≕)
  605. ("=def" . ?≝)
  606. ("=?" . ?≟)
  607. ("..." . ?…)) prettify-symbols-alist))))
  608. (setq python--prettify-symbols-alist
  609. '(("def" . #x2131)
  610. ("not" . #x2757)
  611. ("return" . #x27fc)
  612. ("yield" . #x27fb)
  613. ("or" . ?∨)
  614. ("and" . ?∧)
  615. ("None" . ?⊥)
  616. ("set()" . ?∅)
  617. ("not in" . ?∉)
  618. ("in" . ?∈)
  619. ("is not" . ?≢)
  620. ("is" . ?≡)))
  621. (use-package flyspell
  622. :config
  623. ;; move point to previous error
  624. ;; based on code by hatschipuh at
  625. ;; http://emacs.stackexchange.com/a/14912/2017
  626. (defun flyspell-goto-previous-error (arg)
  627. "Go to arg previous spelling error."
  628. (interactive "p")
  629. (while (not (= 0 arg))
  630. (let ((pos (point))
  631. (min (point-min)))
  632. (if (and (eq (current-buffer) flyspell-old-buffer-error)
  633. (eq pos flyspell-old-pos-error))
  634. (progn
  635. (if (= flyspell-old-pos-error min)
  636. ;; goto beginning of buffer
  637. (progn
  638. (message "Restarting from end of buffer")
  639. (goto-char (point-max)))
  640. (backward-word 1))
  641. (setq pos (point))))
  642. ;; seek the next error
  643. (while (and (> pos min)
  644. (let ((ovs (overlays-at pos))
  645. (r '()))
  646. (while (and (not r) (consp ovs))
  647. (if (flyspell-overlay-p (car ovs))
  648. (setq r t)
  649. (setq ovs (cdr ovs))))
  650. (not r)))
  651. (backward-word 1)
  652. (setq pos (point)))
  653. ;; save the current location for next invocation
  654. (setq arg (1- arg))
  655. (setq flyspell-old-pos-error pos)
  656. (setq flyspell-old-buffer-error (current-buffer))
  657. (goto-char pos)
  658. (if (= pos min)
  659. (progn
  660. (message "No more miss-spelled word!")
  661. (setq arg 0))))))
  662. (defun flyspell-toggle-correct-mode ()
  663. "Decide whether to use flyspell-mode or flyspell-prog-mode, then properly toggle."
  664. (interactive)
  665. ;; use flyspell-mode when in text buffers
  666. ;; otherwise use flyspell-prog-mode
  667. (let* ((current-mode
  668. (buffer-local-value 'major-mode (current-buffer)))
  669. (flyspell-mode-to-call
  670. (if (or (string= current-mode "text-mode") (string= current-mode "markdown-mode"))
  671. 'flyspell-mode
  672. 'flyspell-prog-mode)))
  673. ;; toggle the current flyspell mode, and
  674. ;; eval the buffer if we turned it on
  675. (if flyspell-mode
  676. (funcall 'flyspell-mode '0)
  677. (funcall flyspell-mode-to-call)
  678. (flyspell-buffer)))))
  679. (use-package hideshow
  680. :config
  681. (add-hook 'prog-mode-hook
  682. 'hs-minor-mode)
  683. (add-hook 'hs-minor-mode-hook
  684. (lambda ()
  685. (diminish 'hs-minor-mode))))
  686. (use-package recentf
  687. :config
  688. (recentf-mode 1)
  689. (setq recentf-max-saved-items 200
  690. recentf-max-menu-items 15))
  691. (provide 'packages)