[anjuta] document-manager: remove margin around the document combo box
- From: Carl-Anton Ingmarsson <carlantoni src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [anjuta] document-manager: remove margin around the document combo box
- Date: Wed, 10 Apr 2013 21:40:55 +0000 (UTC)
commit 03912ebfd3ead7e3f77d84d27817226615ce92d1
Author: Carl-Anton Ingmarsson <ca ingmarsson gmail com>
Date: Wed Apr 10 23:19:01 2013 +0200
document-manager: remove margin around the document combo box
plugins/document-manager/anjuta-docman.c | 3 +--
1 files changed, 1 insertions(+), 2 deletions(-)
---
diff --git a/plugins/document-manager/anjuta-docman.c b/plugins/document-manager/anjuta-docman.c
index 1e6a6ca..f88e20d 100644
--- a/plugins/document-manager/anjuta-docman.c
+++ b/plugins/document-manager/anjuta-docman.c
@@ -1073,8 +1073,7 @@ anjuta_docman_instance_init (AnjutaDocman *docman)
gtk_tree_sortable_set_sort_func (GTK_TREE_SORTABLE (docman->priv->combo_model), 1,
combo_sort_func, docman, NULL);
- docman->priv->combo_box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 6);
- g_object_set (G_OBJECT (docman->priv->combo_box), "margin", 6, NULL);
+ docman->priv->combo_box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
gtk_widget_set_sensitive (GTK_WIDGET (docman->priv->combo_box), FALSE);
gtk_grid_attach (GTK_GRID (docman), GTK_WIDGET (docman->priv->combo_box),
0, 0, 1, 1);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]