]> git.eshelyaron.com Git - dict.git/commit
projects / dict.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cc8391) | patch
Use indent-to instead manually indenting with spaces
authorEshel Yaron <me@eshelyaron.com>
Fri, 16 Dec 2022 22:02:33 +0000 (00:02 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 16 Dec 2022 22:06:15 +0000 (00:06 +0200)
commit9695f1bdccc94d7b7a2303899c8082cf53528791
treef20da58c9336c9a149121bc83301312b61810e62tree | snapshot
parent6cc8391edd82e37ae70b53511ac57560c096cff7commit | diff
Use indent-to instead manually indenting with spaces

* sweeprolog.el (sweeprolog-indent-line): use indent-to.
(sweeprolog-indent-offset): tweak docstring.
(sweeprolog-indent-line-after-prefix): use it instead of hard-coded
offset.
(sweeprolog-export-predicate): don't override indent-tabs-mode.
sweeprolog.el diff | blob | history
Get word definitions from RFC2229 dictionary servers