[gedit] Small optimization

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 0be0f939268ffe50d80826b2d26894daf853914b
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Mar 18 13:31:00 2011 +0100

    Small optimization

 gedit/gedit-notebook.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gedit/gedit-notebook.c b/gedit/gedit-notebook.c
index b8c7d1c..0400b65 100644
--- a/gedit/gedit-notebook.c
+++ b/gedit/gedit-notebook.c
@@ -64,7 +64,7 @@ struct _GeditNotebookPrivate
 
 	GtkCssProvider *css;
 
-	guint          close_buttons_sensitive : 1;
+	gboolean close_buttons_sensitive;
 };
 
 G_DEFINE_TYPE(GeditNotebook, gedit_notebook, GTK_TYPE_NOTEBOOK)
@@ -665,11 +665,11 @@ remove_right_padding (GeditNotebook *nb)
 	GError *error = NULL;
 	const gchar style[] =
 		".notebook {\n"
-		"	padding: %d 0 %d %d;\n"
+		  "padding: %d 0 %d %d;\n"
 		"}";
 
 	/* FIXME: find out a css like way to do this, right now padding-right/left
-         doesn't work */
+	  doesn't work */
 	context = gtk_widget_get_style_context (GTK_WIDGET (nb));
 	gtk_style_context_get_padding (context, gtk_style_context_get_state (context),
 	                               &padding);