Update status bar after clicking detect indent type menu item

This commit is contained in:
Nick Treleaven 2017-04-07 13:10:41 +01:00 committed by Nick Treleaven
parent 2386153df4
commit 5539c3f908

View File

@ -1912,6 +1912,7 @@ static void on_detect_type_from_file_activate(GtkMenuItem *menuitem, gpointer us
{ {
editor_set_indent_type(doc->editor, type); editor_set_indent_type(doc->editor, type);
ui_document_show_hide(doc); ui_document_show_hide(doc);
ui_update_statusbar(doc, -1);
} }
} }