Plugins can now change the indentation width of an editor. You can view, comment on, or merge this pull request online at:
https://github.com/geany/geany/pull/903
-- Commit Summary --
* plugin api: export editor_set_indent_width()
-- File Changes --
M src/editor.c (7) M src/plugindata.h (2)
-- Patch Links --
https://github.com/geany/geany/pull/903.patch https://github.com/geany/geany/pull/903.diff
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903
@b4n @elextr @codebrainz can this be merged?
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#issuecomment-187202400
LGTM by inspection.
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#issuecomment-187443403
Declaration in the header file needs to be moved out of the `GEANY_PRIVATE` section.
Feature itself looks fine.
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#issuecomment-188390068
Done
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#issuecomment-188400500
LGTM
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#issuecomment-188516940
Closed #903 via 17e4a604c57cf520699ebc564f2e39a3b587fb2b.
--- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/903#event-564605224
github-comments@lists.geany.org