e956c0dc5a
lang/rust: enable rainbow-delimiters-mode #1787
2019-09-15 12:06:40 -04:00
a736158dae
lang/ocaml: update README
2019-09-13 22:04:53 -04:00
2d365619cd
General refactor & cleanup, across the board
2019-09-13 22:00:34 -04:00
83c95ddaa0
lang/clojure: general refactor
...
To optimize load time and conform to new elips conventions introduced
with straight.el integration.
2019-09-13 22:00:34 -04:00
31ccd9be78
Replace vestigial references to def-package!
...
def-package! is deprecated and is replaced with use-package! to reduce
confusion about its purpose and connection to use-package.
2019-09-13 22:00:34 -04:00
016f6c1b8b
lang/scheme: general refactor
...
To optimize it and conform to new elips conventions introduced with
straight.el integration.
2019-09-13 22:00:33 -04:00
c3997730dd
lang/org: rebind zn to org-tree-to-indirect-buffer
...
To match global behavior of zn (narrow in indirect buffer).
2019-09-13 00:28:08 -04:00
d3b1ef72c2
Use org-startup-indented instead of mode hook
2019-09-12 14:04:38 -07:00
a16838b7c2
Merge pull request #1759 from rgrinberg/lean-mode
...
Add lang/lean module
2019-09-11 23:42:27 -04:00
1c05773c39
General, minor refactors & comment revision
2019-09-11 23:41:08 -04:00
f9feaec5bd
lang/web: fix stylus-mode (install sws-mode) #1775
...
For some reason, even though sws-mode is a declared dependency of
stylus-mode, it doesn't get installed, so we have to do so manually.
2019-09-11 23:41:08 -04:00
b1f9965fe7
lang/python: install lspyls in doom-etc-dir #1776
2019-09-11 23:41:08 -04:00
6f6e30c428
ui/popup: refactor org hacks
...
This removes a few popup advice functions that are no longer necessary
and changes how we handle org agenda windows (they're now displayed in
the current window, rather than a popup -- see org-agenda-window-setup
to change this).
Other issues addressed:
+ Fixes 'Attempt to delete main window of frame' errors when using
org-todo from popups (particularly in daemon Emacs).
+ Removed the custom 'popup-window options for org-agenda-window-setup
and org-src-window-setup, and change them to 'current-window and
'other-window, respectively.
2019-09-10 14:54:13 -04:00
8778eb2288
Disable auto initializatinon of company in lean mode
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-09-10 09:47:56 +09:00
2527306069
Use map! with after! to setup bindings
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-09-10 09:47:56 +09:00
dbf9e9e2c7
Add a module for the lean theorem prover
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-09-10 09:47:56 +09:00
23509d22c5
Merge pull request #1761 from rgrinberg/coq-bindings
...
lang/coq: add localleader key bindings
2019-09-08 21:00:33 -04:00
a3a73bd316
Handle non-string/symbol langs in babel lazy loader
...
Possibly addresses #1745
2019-09-08 20:55:21 -04:00
d0e3bc3455
Fix #1765 : enabling tide when lsp is active
2019-09-08 19:20:42 -04:00
081e57dc10
Add coq key bindings
...
These bindings are modelled afer the bindings in spacemacs
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-09-08 17:44:12 +09:00
1539387747
Reformat docs/api.org
2019-09-07 19:57:58 -04:00
f816149589
lang/org: update +org/remove-link
...
To reflects changes made upstream, in org.
2019-09-07 19:57:58 -04:00
8d50280168
lang/agda: reformat map! call
...
To match other uses of map!
2019-09-07 19:57:58 -04:00
e1d1d148c1
lang/plantuml: fix regexp in plantuml--fix-atstart-in-org-src-blocks-a ( #1760 )
...
* Fix a regexp bug
* [:blank:] never match '\n', so add '\n' to regexp
2019-09-07 12:16:08 -04:00
b6b2d74f25
lang/plantuml: fix src blocks that start w/ @start ( #1746 )
...
* Fix advice bug of chinese and japanese
* Fix bugs of advice
* Update config.el
* Fix "@start" prefix execute error on ob-plantuml
* replace with 'after!' and rename advice function
2019-09-07 00:27:23 -04:00
580cf639c1
Merge pull request #1748 from babariviere/develop
...
Add go-add-tags for go-mode
2019-09-06 19:18:17 -04:00
3d1e232f50
add go-add-tags for go-mode
2019-09-06 11:00:24 +02:00
ac5168f8af
lang/javascript: use-package -> use-package! #1712
2019-09-06 01:32:20 -04:00
d8d4337228
Merge pull request #1622 from jsravn/fix-go-test-rerun
...
Fix +go/test-rerun
2019-09-06 01:05:45 -04:00
01c9ec0c7f
Merge pull request #1716 from flatwhatson/sh-keywords
...
Add ln to +sh-builtin-keywords
2019-09-06 00:50:04 -04:00
2731a5cd9a
Merge pull request #1756 from rgrinberg/fix-readme-agda
...
Fix wiki for agda
2019-09-06 00:47:47 -04:00
49d86ae648
lang/lua: conform hooks to new naming convention
2019-09-06 00:34:23 -04:00
e55ed59951
lang/lua: add flycheck-moonscript package
...
And only install moonscript package if +moonscript flag is provided.
2019-09-06 00:33:17 -04:00
3b7711420f
General comment revision & cleanup
2019-09-06 00:25:35 -04:00
cd1783ed8e
Fix wiki for agda
...
we no longer use agda-mode locate
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-09-06 12:39:25 +09:00
778c7c4244
Fix #1750 : errors while exporting markdown
...
Now runs the exporters directly, rather than through shells. Also fixes
"This document format requires a nonempty..." errors with pandoc
exporter.
2019-09-05 14:05:27 -04:00
1031adb6af
lang/org: remove redundant variables
...
Many of these settings are redundant with their defaults.
2019-09-05 13:12:44 -04:00
81ee250c09
Minor refactor & revision across the board
2019-09-03 00:59:46 -04:00
059ede53b6
Update all unit tests
...
To meet changes introduced from the straight branch merge.
2019-09-03 00:59:46 -04:00
e996216714
Have lsp! return non-nil if successful
...
And fix an issue where +javascript-init-lsp-or-tide-maybe-h would
reference lsp-mode in the rare case where lsp-mode isn't defined (likely
because the user forgot to run `doom refresh` after enabling the :tools
lsp module).
2019-09-02 21:43:12 -04:00
05ab672ef9
Merge pull request #1732 from UndeadKernel/feature_sp-org
...
lang/org: smarter smartparens in org src blocks
2019-09-02 00:46:44 -04:00
6254829d46
Merge pull request #1731 from rgrinberg/agda-straight
...
lang/agda: install agda2-mode via straight
2019-09-02 00:45:56 -04:00
7ffc5d3134
Call renamed hook in the +cc/reload-compile-db autoload
2019-09-01 16:23:04 +03:00
88fc054919
Use straight for agda
...
We can fetch the mode directly from straight. There's no need to rely on
having this .el file installed for us. Now agda's el files can be edited
directly like all other emacs packages.
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com >
2019-08-31 09:45:13 +07:00
9bbc77c2c7
Focus org-capture frame on MacOS
2019-08-29 18:45:20 -04:00
521ff7ac1a
lang/org: smarter smartparens in org src blocks
...
While point is in a babel src block, do not autoexpand emphasis markers.
2019-08-29 15:43:53 +02:00
21883d9700
lang/javascript: fix npm-mode keybinds #1712
2019-08-28 22:41:31 -04:00
7727920629
Rewrite doom/reload
2019-08-28 15:19:58 -04:00
09f077259e
lang/javascript: make npm keybinds more accessible #1712
2019-08-28 15:17:59 -04:00
16b1456192
lang/org: fix new filepath defaults
...
...if org is loaded before the module.
2019-08-28 12:40:59 -04:00
