Commit 26287d38 authored by Johannes Schmid's avatar Johannes Schmid

document-manger: Don't hide tabs by default

parent 53650936
......@@ -1474,7 +1474,7 @@ static void
docman_plugin_set_tab_pos (DocmanPlugin *ep)
if (anjuta_preferences_get_bool_with_default (ep->prefs, EDITOR_TABS_HIDE,
gtk_notebook_set_show_tabs (GTK_NOTEBOOK (ep->docman), FALSE);
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment