gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

spacemacs: update

Browse Source
This commit is contained in:
Gabriel Ebner 2018-03-25 15:17:05 +02:00
parent 2cd9064299
commit ea5af1c367
2 changed files with 234 additions and 107 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
emacs.d

@ -1 +1 @@
Subproject commit 07014deead544c51fa6a826e91fe2ef05bf04323 Subproject commit 582f9aa45c2c90bc6ec98bccda33fc428e4c6d48

339
spacemacs
View File

@ -3,13 +3,32 @@
;; It must be stored in your home directory. ;; It must be stored in your home directory.
(defun dotspacemacs/layers () (defun dotspacemacs/layers ()
"Configuration Layers declaration." "Configuration Layers declaration.
You should not put any user code in this function besides modifying the variable
values."
(setq-default (setq-default
;; Base distribution to use. This is a layer contained in the directory
;; `+distribution'. For now available distributions are `spacemacs-base'
;; or `spacemacs'. (default 'spacemacs)
dotspacemacs-distribution 'spacemacs
;; Lazy installation of layers (i.e. layers are installed only when a file
;; with a supported type is opened). Possible values are `all', `unused'
;; and `nil'. `unused' will lazy install only unused layers (i.e. layers
;; not listed in variable `dotspacemacs-configuration-layers'), `all' will
;; lazy install any layer that support lazy installation even the layers
;; listed in `dotspacemacs-configuration-layers'. `nil' disable the lazy
;; installation feature and you have to explicitly list a layer in the
;; variable `dotspacemacs-configuration-layers' to install it.
;; (default 'unused)
dotspacemacs-enable-lazy-installation 'unused
;; If non-nil then Spacemacs will ask for confirmation before installing
;; a layer lazily. (default t)
dotspacemacs-ask-for-lazy-installation t
;; If non-nil layers with lazy install support are lazy installed.
;; List of additional paths where to look for configuration layers. ;; List of additional paths where to look for configuration layers.
;; Paths must have a trailing slash (i.e. `~/.mycontribs/') ;; Paths must have a trailing slash (i.e. `~/.mycontribs/')
dotspacemacs-configuration-layer-path '() dotspacemacs-configuration-layer-path '()
;; List of configuration layers to load. If it is the symbol `all' instead ;; List of configuration layers to load.
;; of a list then all discovered layers will be installed.
dotspacemacs-configuration-layers dotspacemacs-configuration-layers
'( '(
html html
@ -23,6 +42,7 @@
;; Uncomment some layer names and press <SPC f e R> (Vim style) or ;; Uncomment some layer names and press <SPC f e R> (Vim style) or
;; <M-m f e R> (Emacs style) to install them. ;; <M-m f e R> (Emacs style) to install them.
;; ---------------------------------------------------------------- ;; ----------------------------------------------------------------
helm
auto-completion auto-completion
better-defaults better-defaults
emacs-lisp emacs-lisp
@ -45,162 +65,247 @@
) )
;; List of additional packages that will be installed without being ;; List of additional packages that will be installed without being
;; 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 to create a layer, you can also put the ;; packages, then consider creating a layer. You can also put the
;; configuration in `dotspacemacs/config'. ;; configuration in `dotspacemacs/user-config'.
dotspacemacs-additional-packages '(dash-functional f mmm-mode vdirel) dotspacemacs-additional-packages '(dash-functional f mmm-mode vdirel lean-mode company-lean)
;; A list of packages and/or extensions that will not be install and loaded. ;; A list of packages that cannot be updated.
dotspacemacs-excluded-packages '(persp-mode exec-path-from-shell) dotspacemacs-frozen-packages '()
;; If non-nil spacemacs will delete any orphan packages, i.e. packages that ;; A list of packages that will not be installed and loaded.
;; are declared in a layer which is not a member of dotspacemacs-excluded-packages '()
;; the list `dotspacemacs-configuration-layers' ;; Defines the behaviour of Spacemacs when installing packages.
dotspacemacs-delete-orphan-packages t)) ;; Possible values are `used-only', `used-but-keep-unused' and `all'.
;; `used-only' installs only explicitly used packages and uninstall any
;; unused packages as well as their unused dependencies.
;; `used-but-keep-unused' installs only the used packages but won't uninstall
;; them if they become unused. `all' installs *all* packages supported by
;; Spacemacs and never uninstall them. (default is `used-only')
dotspacemacs-install-packages 'used-only))
(defun dotspacemacs/init () (defun dotspacemacs/init ()
"Initialization function. "Initialization function.
This function is called at the very startup of Spacemacs initialization This function is called at the very startup of Spacemacs initialization
before layers configuration." before layers configuration.
You should not put any user code in there besides modifying the variable
values."
;; This setq-default sexp is an exhaustive list of all the supported ;; This setq-default sexp is an exhaustive list of all the supported
;; spacemacs settings. ;; spacemacs settings.
(setq-default (setq-default
;; Either `vim' or `emacs'. Evil is always enabled but if the variable ;; If non nil ELPA repositories are contacted via HTTPS whenever it's
;; is `emacs' then the `holy-mode' is enabled at startup. ;; possible. Set it to nil if you have no way to use HTTPS in your
;; environment, otherwise it is strongly recommended to let it set to t.
;; This variable has no effect if Emacs is launched with the parameter
;; `--insecure' which forces the value of this variable to nil.
;; (default t)
dotspacemacs-elpa-https t
;; Maximum allowed time in seconds to contact an ELPA repository.
dotspacemacs-elpa-timeout 5
;; If non nil then spacemacs will check for updates at startup
;; when the current branch is not `develop'. Note that checking for
;; new versions works via git commands, thus it calls GitHub services
;; whenever you start Emacs. (default nil)
dotspacemacs-check-for-update nil
;; If non-nil, a form that evaluates to a package directory. For example, to
;; use different package directories for different Emacs versions, set this
;; to `emacs-version'.
dotspacemacs-elpa-subdirectory nil
;; One of `vim', `emacs' or `hybrid'.
;; `hybrid' is like `vim' except that `insert state' is replaced by the
;; `hybrid state' with `emacs' key bindings. The value can also be a list
;; with `:variables' keyword (similar to layers). Check the editing styles
;; section of the documentation for details on available variables.
;; (default 'vim)
dotspacemacs-editing-style 'vim dotspacemacs-editing-style 'vim
;; If non nil output loading progress in `*Messages*' buffer. ;; If non nil output loading progress in `*Messages*' buffer. (default nil)
dotspacemacs-verbose-loading nil dotspacemacs-verbose-loading nil
;; Specify the startup banner. Default value is `official', it displays ;; Specify the startup banner. Default value is `official', it displays
;; the official spacemacs logo. An integer value is the index of text ;; the official spacemacs logo. An integer value is the index of text
;; banner, `random' chooses a random text banner in `core/banners' ;; banner, `random' chooses a random text banner in `core/banners'
;; directory. A string value must be a path to an image format supported ;; directory. A string value must be a path to an image format supported
;; by your Emacs build. ;; by your Emacs build.
;; If the value is nil then no banner is displayed. ;; If the value is nil then no banner is displayed. (default 'official)
dotspacemacs-startup-banner 999 dotspacemacs-startup-banner 999
;; List of items to show in the startup buffer. If nil it is disabled. ;; List of items to show in startup buffer or an association list of
;; Possible values are: `recents' `bookmarks' `projects'." ;; the form `(list-type . list-size)`. If nil then it is disabled.
dotspacemacs-startup-lists '(recents projects) ;; Possible values for list-type are:
;; `recents' `bookmarks' `projects' `agenda' `todos'."
;; List sizes may be nil, in which case
;; `spacemacs-buffer-startup-lists-length' takes effect.
dotspacemacs-startup-lists '((recents . 5)
(projects . 7))
;; True if the home buffer should respond to resize events.
dotspacemacs-startup-buffer-responsive t
;; Default major mode of the scratch buffer (default `text-mode')
dotspacemacs-scratch-mode 'text-mode
;; List of themes, the first of the list is loaded when spacemacs starts. ;; List of themes, the first of the list is loaded when spacemacs starts.
;; Press <SPC> T n to cycle to the next theme in the list (works great ;; Press <SPC> T n to cycle to the next theme in the list (works great
;; with 2 themes variants, one dark and one light) ;; with 2 themes variants, one dark and one light)
dotspacemacs-themes '(solarized-light dotspacemacs-themes '(solarized-light
solarized-dark solarized-dark)
spacemacs-light ;; If non nil the cursor color matches the state color in GUI Emacs.
spacemacs-dark
leuven
monokai
zenburn)
;; If non nil the cursor color matches the state color.
dotspacemacs-colorize-cursor-according-to-state t dotspacemacs-colorize-cursor-according-to-state t
;; Default font. `powerline-scale' allows to quickly tweak the mode-line ;; Default font, or prioritized list of fonts. `powerline-scale' allows to
;; size to make separators look not too crappy. ;; quickly tweak the mode-line size to make separators look not too crappy.
dotspacemacs-default-font '(;"Source Code Pro" dotspacemacs-default-font '("Source Code Pro"
"Monospace" ;"Monospace"
;; :size 14 ;; :size 14
:weight normal :weight normal
:width normal :width normal
:powerline-scale 1.1) :powerline-scale 1.1)
;; The leader key ;; The leader key
dotspacemacs-leader-key "SPC" dotspacemacs-leader-key "SPC"
;; The key used for Emacs commands (M-x) (after pressing on the leader key).
;; (default "SPC")
dotspacemacs-emacs-command-key "SPC"
;; The key used for Vim Ex commands (default ":")
dotspacemacs-ex-command-key ":"
;; The leader key accessible in `emacs state' and `insert state' ;; The leader key accessible in `emacs state' and `insert state'
;; (default "M-m")
dotspacemacs-emacs-leader-key "M-m" dotspacemacs-emacs-leader-key "M-m"
;; Major mode leader key is a shortcut key which is the equivalent of ;; Major mode leader key is a shortcut key which is the equivalent of
;; pressing `<leader> m`. Set it to `nil` to disable it. ;; pressing `<leader> m`. Set it to `nil` to disable it. (default ",")
dotspacemacs-major-mode-leader-key "," dotspacemacs-major-mode-leader-key ","
;; Major mode leader key accessible in `emacs state' and `insert state' ;; Major mode leader key accessible in `emacs state' and `insert state'.
;; (default "C-M-m")
dotspacemacs-major-mode-emacs-leader-key "C-M-m" dotspacemacs-major-mode-emacs-leader-key "C-M-m"
;; The command key used for Evil commands (ex-commands) and ;; These variables control whether separate commands are bound in the GUI to
;; Emacs commands (M-x). ;; the key pairs C-i, TAB and C-m, RET.
;; By default the command key is `:' so ex-commands are executed like in Vim ;; Setting it to a non-nil value, allows for separate commands under <C-i>
;; with `:' and Emacs commands are executed with `<leader> :'. ;; and TAB or <C-m> and RET.
dotspacemacs-command-key ":" ;; In the terminal, these pairs are generally indistinguishable, so this only
;; works in the GUI. (default nil)
dotspacemacs-distinguish-gui-tab nil
;; If non nil `Y' is remapped to `y$' in Evil states. (default nil)
dotspacemacs-remap-Y-to-y$ nil
;; If non-nil, the shift mappings `<' and `>' retain visual state if used
;; there. (default t)
dotspacemacs-retain-visual-state-on-shift t
;; If non-nil, J and K move lines up and down when in visual mode.
;; (default nil)
dotspacemacs-visual-line-move-text nil
;; If non nil, inverse the meaning of `g' in `:substitute' Evil ex-command.
;; (default nil)
dotspacemacs-ex-substitute-global nil
;; Name of the default layout (default "Default")
dotspacemacs-default-layout-name "Default"
;; If non nil the default layout name is displayed in the mode-line.
;; (default nil)
dotspacemacs-display-default-layout nil
;; If non nil then the last auto saved layouts are resume automatically upon
;; start. (default nil)
dotspacemacs-auto-resume-layouts nil
;; Size (in MB) above which spacemacs will prompt to open the large file
;; literally to avoid performance issues. Opening a file literally means that
;; no major mode or minor modes are active. (default is 1)
dotspacemacs-large-file-size 1
;; Location where to auto-save files. Possible values are `original' to ;; Location where to auto-save files. Possible values are `original' to
;; auto-save the file in-place, `cache' to auto-save the file to another ;; auto-save the file in-place, `cache' to auto-save the file to another
;; file stored in the cache directory and `nil' to disable auto-saving. ;; file stored in the cache directory and `nil' to disable auto-saving.
;; Default value is `cache'. ;; (default 'cache)
dotspacemacs-auto-save-file-location 'original dotspacemacs-auto-save-file-location 'original
;; If non nil then `ido' replaces `helm' for some commands. For now only ;; Maximum number of rollback slots to keep in the cache. (default 5)
;; `find-files' (SPC f f) is replaced. dotspacemacs-max-rollback-slots 5
dotspacemacs-use-ido nil ;; If non nil, `helm' will try to minimize the space it uses. (default nil)
dotspacemacs-helm-resize nil
;; if non nil, the helm header is hidden when there is only one source.
;; (default nil)
dotspacemacs-helm-no-header nil
;; define the position to display `helm', options are `bottom', `top',
;; `left', or `right'. (default 'bottom)
dotspacemacs-helm-position 'bottom
;; Controls fuzzy matching in helm. If set to `always', force fuzzy matching
;; in all non-asynchronous sources. If set to `source', preserve individual
;; source settings. Else, disable fuzzy matching in all sources.
;; (default 'always)
dotspacemacs-helm-use-fuzzy 'always
;; If non nil the paste micro-state is enabled. When enabled pressing `p` ;; If non nil the paste micro-state is enabled. When enabled pressing `p`
;; several times cycle between the kill ring content. ;; several times cycle between the kill ring content. (default nil)
dotspacemacs-enable-paste-micro-state nil dotspacemacs-enable-paste-transient-state nil
;; Guide-key delay in seconds. The Guide-key is the popup buffer listing ;; Which-key delay in seconds. The which-key buffer is the popup listing
;; the commands bound to the current keystrokes. ;; the commands bound to the current keystroke sequence. (default 0.4)
dotspacemacs-guide-key-delay 0.4 dotspacemacs-which-key-delay 0.4
;; Which-key frame position. Possible values are `right', `bottom' and
;; `right-then-bottom'. right-then-bottom tries to display the frame to the
;; right; if there is insufficient space it displays it at the bottom.
;; (default 'bottom)
dotspacemacs-which-key-position 'bottom
;; If non nil a progress bar is displayed when spacemacs is loading. This ;; If non nil a progress bar is displayed when spacemacs is loading. This
;; may increase the boot time on some systems and emacs builds, set it to ;; may increase the boot time on some systems and emacs builds, set it to
;; nil ;; to boost the loading time. ;; nil to boost the loading time. (default t)
dotspacemacs-loading-progress-bar t dotspacemacs-loading-progress-bar t
;; If non nil the frame is fullscreen when Emacs starts up. ;; If non nil the frame is fullscreen when Emacs starts up. (default nil)
;; (Emacs 24.4+ only) ;; (Emacs 24.4+ only)
dotspacemacs-fullscreen-at-startup nil dotspacemacs-fullscreen-at-startup nil
;; If non nil `spacemacs/toggle-fullscreen' will not use native fullscreen. ;; If non nil `spacemacs/toggle-fullscreen' will not use native fullscreen.
;; Use to disable fullscreen animations in OSX." ;; Use to disable fullscreen animations in OSX. (default nil)
dotspacemacs-fullscreen-use-non-native nil dotspacemacs-fullscreen-use-non-native nil
;; If non nil the frame is maximized when Emacs starts up. ;; If non nil the frame is maximized when Emacs starts up.
;; Takes effect only if `dotspacemacs-fullscreen-at-startup' is nil. ;; Takes effect only if `dotspacemacs-fullscreen-at-startup' is nil.
;; (Emacs 24.4+ only) ;; (default nil) (Emacs 24.4+ only)
dotspacemacs-maximized-at-startup nil dotspacemacs-maximized-at-startup nil
;; A value from the range (0..100), in increasing opacity, which describes ;; A value from the range (0..100), in increasing opacity, which describes
;; the transparency level of a frame when it's active or selected. ;; the transparency level of a frame when it's active or selected.
;; Transparency can be toggled through `toggle-transparency'. ;; Transparency can be toggled through `toggle-transparency'. (default 90)
dotspacemacs-active-transparency 90 dotspacemacs-active-transparency 90
;; A value from the range (0..100), in increasing opacity, which describes ;; A value from the range (0..100), in increasing opacity, which describes
;; the transparency level of a frame when it's inactive or deselected. ;; the transparency level of a frame when it's inactive or deselected.
;; Transparency can be toggled through `toggle-transparency'. ;; Transparency can be toggled through `toggle-transparency'. (default 90)
dotspacemacs-inactive-transparency 90 dotspacemacs-inactive-transparency 90
;; If non nil unicode symbols are displayed in the mode line. ;; If non nil show the titles of transient states. (default t)
dotspacemacs-show-transient-state-title t
;; If non nil show the color guide hint for transient state keys. (default t)
dotspacemacs-show-transient-state-color-guide t
;; If non nil unicode symbols are displayed in the mode line. (default t)
dotspacemacs-mode-line-unicode-symbols t dotspacemacs-mode-line-unicode-symbols t
;; If non nil smooth scrolling (native-scrolling) is enabled. Smooth ;; If non nil smooth scrolling (native-scrolling) is enabled. Smooth
;; scrolling overrides the default behavior of Emacs which recenters the ;; scrolling overrides the default behavior of Emacs which recenters point
;; point when it reaches the top or bottom of the screen. ;; when it reaches the top or bottom of the screen. (default t)
dotspacemacs-smooth-scrolling t dotspacemacs-smooth-scrolling t
;; Control line numbers activation.
;; If set to `t' or `relative' line numbers are turned on in all `prog-mode' and
;; `text-mode' derivatives. If set to `relative', line numbers are relative.
;; This variable can also be set to a property list for finer control:
;; '(:relative nil
;; :disabled-for-modes dired-mode
;; doc-view-mode
;; markdown-mode
;; org-mode
;; pdf-view-mode
;; text-mode
;; :size-limit-kb 1000)
;; (default nil)
dotspacemacs-line-numbers nil
;; Code folding method. Possible values are `evil' and `origami'.
;; (default 'evil)
dotspacemacs-folding-method 'evil
;; If non-nil smartparens-strict-mode will be enabled in programming modes. ;; If non-nil smartparens-strict-mode will be enabled in programming modes.
;; (default nil)
dotspacemacs-smartparens-strict-mode nil dotspacemacs-smartparens-strict-mode nil
;; Select a scope to highlight delimiters. Possible value is `all', ;; If non-nil pressing the closing parenthesis `)' key in insert mode passes
;; `current' or `nil'. Default is `all' ;; over any automatically added closing parenthesis, bracket, quote, etc…
;; This can be temporary disabled by pressing `C-q' before `)'. (default nil)
dotspacemacs-smart-closing-parenthesis nil
;; Select a scope to highlight delimiters. Possible values are `any',
;; `current', `all' or `nil'. Default is `all' (highlight any scope and
;; emphasis the current one). (default 'all)
dotspacemacs-highlight-delimiters 'all dotspacemacs-highlight-delimiters 'all
;; If non nil advises quit functions to keep server open when quitting. ;; If non nil, advise quit functions to keep server open when quitting.
;; (default nil)
dotspacemacs-persistent-server nil dotspacemacs-persistent-server nil
;; List of search tool executable names. Spacemacs uses the first installed ;; List of search tool executable names. Spacemacs uses the first installed
;; tool of the list. Supported tools are `ag', `pt', `ack' and `grep'. ;; tool of the list. Supported tools are `ag', `pt', `ack' and `grep'.
;; (default '("ag" "pt" "ack" "grep"))
dotspacemacs-search-tools '("ag" "pt" "ack" "grep") dotspacemacs-search-tools '("ag" "pt" "ack" "grep")
;; The default package repository used if no explicit repository has been ;; The default package repository used if no explicit repository has been
;; specified with an installed package. ;; specified with an installed package.
;; Not used for now. ;; Not used for now. (default nil)
dotspacemacs-default-package-repository nil dotspacemacs-default-package-repository nil
) ;; Delete whitespace while saving buffer. Possible values are `all'
;; User initialization goes here ;; to aggressively delete empty line and long sequences of whitespace,
;; `trailing' to delete only the whitespace at end of lines, `changed'to
(setq mu4e-mu-binary "/var/run/current-system/sw/bin/mu") ;; delete only whitespace for changed lines or `nil' to disable cleanup.
(setq user-full-name "Gabriel Ebner" ;; (default nil)
user-mail-address "gebner@gebner.org") dotspacemacs-whitespace-cleanup nil
(setq mu4e-compose-signature "Gabriel.") ))
(setq message-send-mail-function 'smtpmail-send-it
mu4e-sent-messages-behavior 'sent
smtpmail-smtp-server "mail.gebner.org"
smtpmail-stream-type 'starttls
smtpmail-smtp-service 587
smtpmail-local-domain "gebner.org")
(setq vdirel-repository "~/.contacts/contacts.vcf/")
(setq mu4e-get-mail-command "nm-online && mbsync -a"
mu4e-update-interval 300)
(setq mu4e-attachment-dir "~/Downloads")
(setq mu4e-drafts-folder "/drafts"
mu4e-sent-folder "/sent"
mu4e-trash-folder "/Trash")
(setq mu4e-change-filenames-when-moving t)
(setq mu4e-view-show-images t
mu4e-view-image-max-width 1000
mu4e-view-image-max-height 1000)
(setq mu4e-msg2pdf "/run/current-system/sw/bin/msg2pdf")
(when (fboundp 'imagemagick-register-types)
(imagemagick-register-types))
(setq mu4e-html2text-command "elinks -dump")
(setq mu4e-use-fancy-chars t)
(setq mu4e-compose-in-new-frame t)
(setq evil-in-single-undo t)
)
(defun dotspacemacs/user-init () (defun dotspacemacs/user-init ()
"Initialization function for user code. "Initialization function for user code.
@ -219,6 +324,36 @@ This is the place where most of your configurations should be done. Unless it is
explicitly specified that a variable should be set before a package is loaded, explicitly specified that a variable should be set before a package is loaded,
you should place your code here." you should place your code here."
;; (setq mu4e-mu-binary "/var/run/current-system/sw/bin/mu")
(setq user-full-name "Gabriel Ebner"
user-mail-address "gebner@gebner.org")
;; (setq mu4e-compose-signature "Gabriel.")
(setq message-send-mail-function 'smtpmail-send-it
;; mu4e-sent-messages-behavior 'sent
smtpmail-smtp-server "mail.gebner.org"
smtpmail-stream-type 'starttls
smtpmail-smtp-service 587
smtpmail-local-domain "gebner.org")
(setq vdirel-repository "~/.contacts/contacts.vcf/")
;; (setq mu4e-get-mail-command "nm-online && mbsync -a"
;; mu4e-update-interval 300)
;; (setq mu4e-attachment-dir "~/Downloads")
;; (setq mu4e-drafts-folder "/drafts"
;; mu4e-sent-folder "/sent"
;; mu4e-trash-folder "/Trash")
;; (setq mu4e-change-filenames-when-moving t)
;; (setq mu4e-view-show-images t
;; mu4e-view-image-max-width 1000
;; mu4e-view-image-max-height 1000)
;; (setq mu4e-msg2pdf "/run/current-system/sw/bin/msg2pdf")
(when (fboundp 'imagemagick-register-types)
(imagemagick-register-types))
;; (setq mu4e-html2text-command "elinks -dump")
;; (setq mu4e-use-fancy-chars t)
;; (setq mu4e-compose-in-new-frame t)
(setq evil-in-single-undo t)
(setq twelf-root "/home/gebner/twelf/") (setq twelf-root "/home/gebner/twelf/")
(when (file-exists-p twelf-root) (when (file-exists-p twelf-root)
(load-file (concat twelf-root "emacs/twelf-init.el"))) (load-file (concat twelf-root "emacs/twelf-init.el")))
@ -226,19 +361,9 @@ you should place your code here."
(setq spacemacs-default-jump-handlers (setq spacemacs-default-jump-handlers
(remove 'evil-goto-definition spacemacs-default-jump-handlers)) (remove 'evil-goto-definition spacemacs-default-jump-handlers))
(setq lean-rootdir "/home/gebner/lean")
(setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips (setq flycheck-display-errors-function nil) ; disable annoying flycheck tooltips
(when (file-exists-p lean-rootdir) (spacemacs|define-jump-handlers lean-mode lean-find-definition))
(setq load-path (cons (concat lean-rootdir "/src/emacs") load-path))
(require 'lean-mode)
(spacemacs|define-jump-handlers lean-mode lean-find-definition)))
(defun dotspacemacs/emacs-custom-settings ()
"Emacs custom settings.
This is an auto-generated function, do not modify its content directly, use
Emacs customize menu instead.
This function is called at the very end of Spacemacs initialization."
)
;; Do not write anything past this comment. This is where Emacs will ;; Do not write anything past this comment. This is where Emacs will
;; auto-generate custom variable definitions. ;; auto-generate custom variable definitions.
@ -256,4 +381,6 @@ This function is called at the very end of Spacemacs initialization."
'(lean-server-show-pending-tasks t) '(lean-server-show-pending-tasks t)
'(package-selected-packages '(package-selected-packages
(quote (quote
(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)))) (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-scale-function 1.7))