packages.el 23 KB

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