[anjuta] document-manger: Don't hide tabs by default

[Johannes Schmid <jhs src gnome org>]

commit 26287d38c0e0bfd69a89cc6fb285208a46241b7a
Author: Johannes Schmid <jhs gnome org>
Date:   Wed Jul 28 11:14:52 2010 +0200

    document-manger: Don't hide tabs by default

 plugins/document-manager/plugin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/document-manager/plugin.c b/plugins/document-manager/plugin.c
index 2d6f296..b43da56 100644
--- a/plugins/document-manager/plugin.c
+++ b/plugins/document-manager/plugin.c
@@ -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,
-												 TRUE))
+												 FALSE))
 	{
 		gtk_notebook_set_show_tabs (GTK_NOTEBOOK (ep->docman), FALSE);
 	}