Commit Graph

6719 Commits

Author SHA1 Message Date
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
04c593a765 Remove deleted imenu module from modules/README.org 2019-09-09 15:46:13 -04:00
Henrik Lissner
43d80dcec6 Fix #1692 & stop org-todo from monopolizing frame
How org-todo manipulates the window config has changed upstream.
2019-09-09 14:25:23 -04: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
70c60e6583 tools/magit: re-enable magit-todos over tramp
Reverts 9ab49be. TRAMP support was added in
alphapapa/magit-todos@a80dace
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
UndeadKernel
56d8e1e0f8 bindings: fix emacs bindings and add more 2019-09-07 00:32:34 +02: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
Henrik Lissner
c0d2ab331e Remove command-log-mode
This isn't vital enough a package to be included in core. Emacs already
provides view-lossage, and there are other, better packages for
displaying your keybinds as you type.

Even one that I've been working on (with special evil support):
https://github.com/hlissner/doom-emacs-private/blob/master/lisp/keycast.el
2019-09-06 00:13:40 -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
7e36c5c2b3 ui/tabs: fix recursive load errors & update
An autoload was causing an autoload before their respective packages
could declare they had been loaded, leading to cyclical loading errors.
2019-09-05 13:43:49 -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
975928193b Remove doom/open-bug-report command #1752
The command was removed some time ago and won't be restored (for now).
2019-09-04 19:02:50 -04:00
Henrik Lissner
92c839be02 tools/magit: warn if emacsql fails to build #1751 2019-09-03 15:47:38 -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
713258ee31 ui/neotree: fix reference to renamed function 2019-09-02 19:17:15 -04:00
Henrik Lissner
abc80e43ae tools/magit: disable magit-todos over TRAMP 2019-09-02 13:14:52 -04:00
Henrik Lissner
07dfe2703c Fix void-function diff-hl-magit-post-refresh error 2019-09-02 12:42:02 -04:00
Henrik Lissner
f763bf2fd0 Change :mc to take delimited pattern
This used to take a regexp after a space: ':mc REGEXP'. It now is
delimited, like :g or :s, e.g.

  :mc/REGEXP/FLAGS
  :mc/[a-z]
  :mc/abc/g
2019-09-02 01:30:04 -04:00
Henrik Lissner
3c4252ffe7 Merge branch 'develop' into dired 2019-09-02 00:51:52 -04:00
Sunn Yao
8f061eb6b8 input/{chinese,japanese}: fix org-html-paragraph advice 2019-09-02 00:48:33 -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
Uros Perisic
3996b01457 Add helm-org (bound but not installed). 2019-08-31 19:45:15 +08: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
Uros Perisic
9589f6e372 Load hydra examples without using example hydras.
`+hydra/window-nav` uses functions from `hydra-examples.el` but the file
is never loaded. Adding this does not actually define any hydras (this
would require `hydra-examples-verbatim` to be `t`), it just load the
utility functions to make the hydras defined in doom work.
2019-08-30 13:58:08 +08:00
Henrik Lissner
9bbc77c2c7 Focus org-capture frame on MacOS 2019-08-29 18:45:20 -04:00
Jakub Darul
f7f4c39492 fixed formatting 2019-08-29 20:43:52 +02:00
Jakub Darul
ba69c9efe4 added featurep codition to keybindings
includes popup, flycheck, flyspell, org +present, indent-guides
2019-08-29 20:38:56 +02: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