[Github-comments] [geany/geany] Set indent type when using "replace tabs with spaces" (plus the opposite direction) (#1161)
Nick Treleaven
notifications at xxxxx
Wed Apr 12 08:44:34 UTC 2017
ntrel commented on this pull request.
> @@ -3040,6 +3040,24 @@ void document_undo(GeanyDocument *doc)
document_undo(doc);
break;
}
+ case UNDO_INDENT:
+ {
+ undo_action *next_action;
+
+ document_redo_add(doc, UNDO_INDENT, GINT_TO_POINTER(doc->editor->indent_type));
+
+ editor_set_indent(doc->editor, GPOINTER_TO_INT(action->data), doc->editor->indent_width);
+
+ ui_document_show_hide(doc);
Haven't tested, but I think you need to update the status bar too, and again for redo.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1161#pullrequestreview-32312567
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170412/4b571363/attachment.html>
More information about the Github-comments
mailing list