Update spacemacs.

This commit is contained in:
Gabriel Ebner 2018-08-14 15:19:14 +02:00
parent 78c26203e5
commit c6a2ef21c4
2 changed files with 4 additions and 4 deletions

@ -1 +1 @@
Subproject commit 582f9aa45c2c90bc6ec98bccda33fc428e4c6d48 Subproject commit c7a103a772d808101d7635ec10f292ab9202d9ee

View File

@ -33,7 +33,7 @@ values."
'( '(
html html
idris idris
agda ;; agda
javascript javascript
markdown markdown
c-c++ c-c++
@ -67,7 +67,7 @@ values."
;; wrapped in a layer. If you need some configuration for these ;; wrapped in a layer. If you need some configuration for these
;; packages, then consider creating a layer. You can also put the ;; packages, then consider creating a layer. You can also put the
;; configuration in `dotspacemacs/user-config'. ;; configuration in `dotspacemacs/user-config'.
dotspacemacs-additional-packages '(dash-functional f mmm-mode vdirel lean-mode company-lean) dotspacemacs-additional-packages '(dash-functional f mmm-mode vdirel lean-mode company-lean helm-lean)
;; A list of packages that cannot be updated. ;; A list of packages that cannot be updated.
dotspacemacs-frozen-packages '() dotspacemacs-frozen-packages '()
;; A list of packages that will not be installed and loaded. ;; A list of packages that will not be installed and loaded.
@ -383,6 +383,6 @@ you should place your code here."
'(lean-server-show-pending-tasks t) '(lean-server-show-pending-tasks t)
'(package-selected-packages '(package-selected-packages
(quote (quote
(persp-mode powerline alert multiple-cursors hydra projectile sbt-mode bind-key packed auctex company iedit smartparens highlight evil goto-chg yasnippet gitignore-mode flycheck epl f dash-functional avy magit magit-popup git-commit ghub let-alist with-editor markdown-mode js2-mode simple-httpd s helm helm-core async company-lean lean-mode org-mime racket-mode faceup winum unfill mu4e-maildirs-extension fuzzy web-mode tagedit slim-mode scss-mode sass-mode pug-mode less-css-mode helm-css-scss haml-mode emmet-mode company-web web-completion-data idris-mode prop-menu ws-butler window-numbering which-key web-beautify volatile-highlights vi-tilde-fringe vdirel uuidgen use-package toc-org spacemacs-theme spaceline solarized-theme smeargle restart-emacs rainbow-delimiters quelpa popwin pcre2el paradox ox-reveal orgit org-projectile org-present org-pomodoro org-plus-contrib org-download org-bullets open-junk-file noflet neotree mwim mu4e-alert move-text mmm-mode markdown-toc magit-gitflow macrostep lorem-ipsum livid-mode linum-relative link-hint ledger-mode json-mode js2-refactor js-doc info+ indent-guide ido-vertical-mode hungry-delete htmlize hl-todo highlight-parentheses highlight-numbers highlight-indentation hide-comnt help-fns+ helm-themes helm-swoop helm-projectile helm-mode-manager helm-make helm-gitignore helm-flx helm-descbinds helm-company helm-c-yasnippet helm-ag google-translate golden-ratio gnuplot gitconfig-mode gitattributes-mode git-timemachine git-messenger git-link git-gutter-fringe git-gutter-fringe+ gh-md flycheck-pos-tip flycheck-ledger flx-ido fill-column-indicator fancy-battery eyebrowse expand-region exec-path-from-shell evil-visualstar evil-visual-mark-mode evil-unimpaired evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-ediff evil-args evil-anzu eval-sexp-fu ensime elisp-slime-nav dumb-jump disaster diff-hl define-word company-tern company-statistics company-c-headers company-auctex column-enforce-mode coffee-mode cmake-mode clean-aindent-mode clang-format auto-yasnippet auto-highlight-symbol auto-compile auctex-latexmk aggressive-indent adaptive-wrap ace-window ace-link ace-jump-helm-line ac-ispell))) (org-vcard org-category-capture log4e gntp skewer-mode json-snatcher json-reformat parent-mode request fringe-helper git-gutter+ git-gutter pos-tip flx anzu scala-mode diminish tern bind-map auto-complete pkg-info popup helm-lean persp-mode powerline alert multiple-cursors hydra projectile sbt-mode bind-key packed auctex company iedit smartparens highlight evil goto-chg yasnippet gitignore-mode flycheck epl f dash-functional avy magit magit-popup git-commit ghub let-alist with-editor markdown-mode js2-mode simple-httpd s helm helm-core async company-lean lean-mode org-mime racket-mode faceup winum unfill mu4e-maildirs-extension fuzzy web-mode tagedit slim-mode scss-mode sass-mode pug-mode less-css-mode helm-css-scss haml-mode emmet-mode company-web web-completion-data idris-mode prop-menu ws-butler window-numbering which-key web-beautify volatile-highlights vi-tilde-fringe vdirel uuidgen use-package toc-org spacemacs-theme spaceline solarized-theme smeargle restart-emacs rainbow-delimiters quelpa popwin pcre2el paradox ox-reveal orgit org-projectile org-present org-pomodoro org-plus-contrib org-download org-bullets open-junk-file noflet neotree mwim mu4e-alert move-text mmm-mode markdown-toc magit-gitflow macrostep lorem-ipsum livid-mode linum-relative link-hint ledger-mode json-mode js2-refactor js-doc info+ indent-guide ido-vertical-mode hungry-delete htmlize hl-todo highlight-parentheses highlight-numbers highlight-indentation hide-comnt help-fns+ helm-themes helm-swoop helm-projectile helm-mode-manager helm-make helm-gitignore helm-flx helm-descbinds helm-company helm-c-yasnippet helm-ag google-translate golden-ratio gnuplot gitconfig-mode gitattributes-mode git-timemachine git-messenger git-link git-gutter-fringe git-gutter-fringe+ gh-md flycheck-pos-tip flycheck-ledger flx-ido fill-column-indicator fancy-battery eyebrowse expand-region exec-path-from-shell evil-visualstar evil-visual-mark-mode evil-unimpaired evil-tutor evil-surround evil-search-highlight-persist evil-numbers evil-nerd-commenter evil-mc evil-matchit evil-magit evil-lisp-state evil-indent-plus evil-iedit-state evil-exchange evil-escape evil-ediff evil-args evil-anzu eval-sexp-fu ensime elisp-slime-nav dumb-jump disaster diff-hl define-word company-tern company-statistics company-c-headers company-auctex column-enforce-mode coffee-mode cmake-mode clean-aindent-mode clang-format auto-yasnippet auto-highlight-symbol auto-compile auctex-latexmk aggressive-indent adaptive-wrap ace-window ace-link ace-jump-helm-line ac-ispell)))
'(preview-auto-cache-preamble t) '(preview-auto-cache-preamble t)
'(preview-scale-function 1.7)) '(preview-scale-function 1.7))