[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