Commit graph

1952 commits

Author SHA1 Message Date
Henrik Lissner
a736158dae
lang/ocaml: update README 2019-09-13 22:04:53 -04:00
Henrik Lissner
2d365619cd
General refactor & cleanup, across the board 2019-09-13 22:00:34 -04:00
Henrik Lissner
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
Henrik Lissner
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
Henrik Lissner
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
Henrik Lissner
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
Jake Coble
d3b1ef72c2 Use org-startup-indented instead of mode hook 2019-09-12 14:04:38 -07:00
Henrik Lissner
a16838b7c2
Merge pull request #1759 from rgrinberg/lean-mode
Add lang/lean module
2019-09-11 23:42:27 -04:00
Henrik Lissner
1c05773c39
General, minor refactors & comment revision 2019-09-11 23:41:08 -04:00
Henrik Lissner
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
Henrik Lissner
b1f9965fe7
lang/python: install lspyls in doom-etc-dir #1776 2019-09-11 23:41:08 -04:00
Henrik Lissner
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
Rudi Grinberg
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
Rudi Grinberg
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
Rudi Grinberg
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
Henrik Lissner
23509d22c5
Merge pull request #1761 from rgrinberg/coq-bindings
lang/coq: add localleader key bindings
2019-09-08 21:00:33 -04:00
Henrik Lissner
a3a73bd316
Handle non-string/symbol langs in babel lazy loader
Possibly addresses #1745
2019-09-08 20:55:21 -04:00
Henrik Lissner
d0e3bc3455
Fix #1765: enabling tide when lsp is active 2019-09-08 19:20:42 -04:00
Rudi Grinberg
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
Henrik Lissner
1539387747
Reformat docs/api.org 2019-09-07 19:57:58 -04:00
Henrik Lissner
f816149589
lang/org: update +org/remove-link
To reflects changes made upstream, in org.
2019-09-07 19:57:58 -04:00
Henrik Lissner
8d50280168
lang/agda: reformat map! call
To match other uses of map!
2019-09-07 19:57:58 -04:00
Sunn Yao
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
Sunn Yao
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
Henrik Lissner
580cf639c1
Merge pull request #1748 from babariviere/develop
Add go-add-tags for go-mode
2019-09-06 19:18:17 -04:00
babariviere
3d1e232f50 add go-add-tags for go-mode 2019-09-06 11:00:24 +02:00
Henrik Lissner
ac5168f8af
lang/javascript: use-package -> use-package! #1712 2019-09-06 01:32:20 -04:00
Henrik Lissner
d8d4337228
Merge pull request #1622 from jsravn/fix-go-test-rerun
Fix +go/test-rerun
2019-09-06 01:05:45 -04:00
Henrik Lissner
01c9ec0c7f
Merge pull request #1716 from flatwhatson/sh-keywords
Add ln to +sh-builtin-keywords
2019-09-06 00:50:04 -04:00
Henrik Lissner
2731a5cd9a
Merge pull request #1756 from rgrinberg/fix-readme-agda
Fix wiki for agda
2019-09-06 00:47:47 -04:00
Henrik Lissner
49d86ae648
lang/lua: conform hooks to new naming convention 2019-09-06 00:34:23 -04:00
Henrik Lissner
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
Henrik Lissner
3b7711420f
General comment revision & cleanup 2019-09-06 00:25:35 -04:00
Rudi Grinberg
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
Henrik Lissner
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
Henrik Lissner
1031adb6af
lang/org: remove redundant variables
Many of these settings are redundant with their defaults.
2019-09-05 13:12:44 -04:00
Henrik Lissner
81ee250c09
Minor refactor & revision across the board 2019-09-03 00:59:46 -04:00
Henrik Lissner
059ede53b6
Update all unit tests
To meet changes introduced from the straight branch merge.
2019-09-03 00:59:46 -04:00
Henrik Lissner
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
Henrik Lissner
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
Henrik Lissner
6254829d46
Merge pull request #1731 from rgrinberg/agda-straight
lang/agda: install agda2-mode via straight
2019-09-02 00:45:56 -04:00
Valentin Ignatev
7ffc5d3134 Call renamed hook in the +cc/reload-compile-db autoload 2019-09-01 16:23:04 +03:00
Rudi Grinberg
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
Henrik Lissner
9bbc77c2c7
Focus org-capture frame on MacOS 2019-08-29 18:45:20 -04:00
Undead Kernel
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
Henrik Lissner
21883d9700
lang/javascript: fix npm-mode keybinds #1712 2019-08-28 22:41:31 -04:00
Henrik Lissner
7727920629
Rewrite doom/reload 2019-08-28 15:19:58 -04:00
Henrik Lissner
09f077259e
lang/javascript: make npm keybinds more accessible #1712 2019-08-28 15:17:59 -04:00
Henrik Lissner
16b1456192
lang/org: fix new filepath defaults
...if org is loaded before the module.
2019-08-28 12:40:59 -04:00
Henrik Lissner
cbd3a3b252
Fix #1697: use 2.0 branch for ensime package 2019-08-28 00:40:50 -04:00