plugin api: export editor_set_indent_width()
Plugins can now change the indentation width of an editor. Closes #903.
This commit is contained in:
parent
269980ca45
commit
17e4a604c5
@ -4663,6 +4663,13 @@ void editor_set_indent_type(GeanyEditor *editor, GeanyIndentType type)
|
||||
}
|
||||
|
||||
|
||||
/** Sets the indent width for @a editor.
|
||||
* @param editor Editor.
|
||||
* @param width New indent width.
|
||||
*
|
||||
* @since 1.27 (API 227)
|
||||
*/
|
||||
GEANY_API_SYMBOL
|
||||
void editor_set_indent_width(GeanyEditor *editor, gint width)
|
||||
{
|
||||
editor_set_indent(editor, editor->indent_type, width);
|
||||
|
@ -167,6 +167,8 @@ void editor_indicator_clear(GeanyEditor *editor, gint indic);
|
||||
|
||||
void editor_set_indent_type(GeanyEditor *editor, GeanyIndentType type);
|
||||
|
||||
void editor_set_indent_width(GeanyEditor *editor, gint width);
|
||||
|
||||
gchar *editor_get_word_at_pos(GeanyEditor *editor, gint pos, const gchar *wordchars);
|
||||
|
||||
const gchar *editor_get_eol_char_name(GeanyEditor *editor);
|
||||
@ -307,8 +309,6 @@ void editor_ensure_final_newline(GeanyEditor *editor);
|
||||
|
||||
void editor_insert_color(GeanyEditor *editor, const gchar *colour);
|
||||
|
||||
void editor_set_indent_width(GeanyEditor *editor, gint width);
|
||||
|
||||
void editor_set_indent(GeanyEditor *editor, GeanyIndentType type, gint width);
|
||||
|
||||
void editor_set_line_wrapping(GeanyEditor *editor, gboolean wrap);
|
||||
|
@ -58,7 +58,7 @@ G_BEGIN_DECLS
|
||||
* @warning You should not test for values below 200 as previously
|
||||
* @c GEANY_API_VERSION was defined as an enum value, not a macro.
|
||||
*/
|
||||
#define GEANY_API_VERSION 226
|
||||
#define GEANY_API_VERSION 227
|
||||
|
||||
/* hack to have a different ABI when built with GTK3 because loading GTK2-linked plugins
|
||||
* with GTK3-linked Geany leads to crash */
|
||||
|
Loading…
x
Reference in New Issue
Block a user