diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-04-08 13:01:17 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-09 12:32:50 +0100 |
| commit | dc9990e084996c1de7ee41fa293a3f77b9737cea (patch) | |
| tree | 44127a1db322861096e5f987f6be7307fffdff81 /ymh-emacs | |
| parent | a5aec9e8e8a4ddf143bb5a21182c6945b3f3d08f (diff) | |
| download | ymh-emacs-dc9990e084996c1de7ee41fa293a3f77b9737cea.tar.gz ymh-emacs-dc9990e084996c1de7ee41fa293a3f77b9737cea.zip | |
Add tweaks to isearch and dafny
Diffstat (limited to 'ymh-emacs')
| -rw-r--r-- | ymh-emacs/ymh-common.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/ymh-emacs/ymh-common.el b/ymh-emacs/ymh-common.el index 3786016..09ebe08 100644 --- a/ymh-emacs/ymh-common.el +++ b/ymh-emacs/ymh-common.el @@ -45,9 +45,10 @@ (defun ymh/electric-space () (interactive) - (if (looking-back (sentence-end)) - (insert "%\n") - (self-insert-command 1))) + (let ((sentence-end-double-space nil)) + (if (looking-back (sentence-end)) + (insert "\n") + (self-insert-command 1)))) ;;; Stefan Monnier: It is the opposite of fill-paragraph. |