[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