diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:42:42 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-30 10:42:42 +0100 |
| commit | 064934f86c8f2839f28acc92c07864ce265f68fe (patch) | |
| tree | 769cf16df85f00356f13f16763a79003913ecbe5 /doom | |
| parent | db69f3572bdb41d0f390c536699dca9a88fead63 (diff) | |
| download | dotfiles-064934f86c8f2839f28acc92c07864ce265f68fe.tar.gz dotfiles-064934f86c8f2839f28acc92c07864ce265f68fe.zip | |
Adding company fixes to config.org
Diffstat (limited to 'doom')
| -rw-r--r-- | doom/config.org | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/doom/config.org b/doom/config.org index b35d7fd..837185a 100644 --- a/doom/config.org +++ b/doom/config.org @@ -39,6 +39,7 @@ (electric-indent-mode -1) (menu-bar-mode -1) +(add-hook 'text-mode-hook (lambda () (company-mode -1))) #+end_src * Key Binding Customisations @@ -51,8 +52,7 @@ (global-set-key (kbd "M-c") #'capitalize-dwim) (global-set-key (kbd "C-c z") #'quick-calc) (global-set-key (kbd "<f5>") #'revert-buffer) -(global-set-key (kbd "C-.") #'other-window) -(global-set-key (kbd "C-,") (lambda () (interactive) (other-window -1))) +(global-set-key (kbd "M-,") (lambda () (interactive) (other-window -1))) (global-set-key (kbd "C-c l") #'org-store-link) (global-set-key (kbd "C-c a") #'org-agenda) (global-set-key (kbd "C-c /") #'avy-goto-word-1) @@ -660,7 +660,10 @@ "M-r" #'sp-split-sexp) (require 'smartparens-config) (show-smartparens-global-mode +1) - (smartparens-global-mode 1)) + (smartparens-global-mode 1) +;;(sp-pair "'" nil :actions :rem) + (sp-local-pair 'coq-mode "'" nil :actions nil) + ) (after! writeroom-mode (setq +zen-text-scale 1)) @@ -1028,6 +1031,10 @@ https://yannherklotz.com") (message "Compilation complete") (browse-url html-fname)))) +(use-package! rst + :config + (add-hook 'rst-mode-hook (lambda () (setq fill-column 80)))) + (use-package! ox-context :after org) @@ -1035,7 +1042,7 @@ https://yannherklotz.com") :after org :config) -(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode") - -(use-package! agda2-mode) +;;(add-to-list 'load-path "/usr/local/Cellar/agda/2.6.2.2/cabal/store/ghc-8.10.7/Agd-2.6.2.2-3bca6588/share/emacs-mode") +;; +;;(use-package! agda2-mode) #+end_src |