[Github-comments] [geany] plugin api: export editor_set_indent_width() (#903)
Thomas Martitz
notifications at xxxxx
Thu Feb 11 15:04:05 UTC 2016
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160211/9958b57b/attachment.html>
More information about the Github-comments
mailing list