[gedit] Make preferences dialog resizable.
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] Make preferences dialog resizable.
- Date: Sun, 21 Apr 2013 14:23:28 +0000 (UTC)
commit 7035cb3d17eff672822759b9450e5c30d3757fda
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Sun Apr 21 16:22:33 2013 +0200
Make preferences dialog resizable.
https://bugzilla.gnome.org/show_bug.cgi?id=415143
gedit/gedit-preferences-dialog.c | 4 ++--
gedit/gedit-preferences-dialog.ui | 4 ++++
2 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/gedit/gedit-preferences-dialog.c b/gedit/gedit-preferences-dialog.c
index f4fd021..aaefc46 100644
--- a/gedit/gedit-preferences-dialog.c
+++ b/gedit/gedit-preferences-dialog.c
@@ -1156,7 +1156,7 @@ gedit_preferences_dialog_init (GeditPreferencesDialog *dlg)
NULL);
gtk_window_set_title (GTK_WINDOW (dlg), _("gedit Preferences"));
- gtk_window_set_resizable (GTK_WINDOW (dlg), FALSE);
+ gtk_window_set_resizable (GTK_WINDOW (dlg), TRUE);
gtk_window_set_destroy_with_parent (GTK_WINDOW (dlg), TRUE);
/* HIG defaults */
@@ -1208,7 +1208,7 @@ gedit_preferences_dialog_init (GeditPreferencesDialog *dlg)
g_object_unref (builder);
gtk_box_pack_start (GTK_BOX (gtk_dialog_get_content_area (GTK_DIALOG (dlg))),
- dlg->priv->notebook, FALSE, FALSE, 0);
+ dlg->priv->notebook, TRUE, TRUE, 0);
g_object_unref (dlg->priv->notebook);
gtk_container_set_border_width (GTK_CONTAINER (dlg->priv->notebook), 5);
diff --git a/gedit/gedit-preferences-dialog.ui b/gedit/gedit-preferences-dialog.ui
index f0888a9..53a86c6 100644
--- a/gedit/gedit-preferences-dialog.ui
+++ b/gedit/gedit-preferences-dialog.ui
@@ -766,6 +766,8 @@
<object class="GtkBox" id="vbox1">
<property name="visible">True</property>
<property name="can_focus">False</property>
+ <property name="hexpand">True</property>
+ <property name="vexpand">True</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkScrolledWindow" id="schemes-scrolled-window">
@@ -886,6 +888,8 @@
<object class="GtkBox" id="plugin_manager_place_holder">
<property name="visible">True</property>
<property name="can_focus">False</property>
+ <property name="hexpand">True</property>
+ <property name="vexpand">True</property>
<property name="border_width">12</property>
<property name="orientation">vertical</property>
<child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]