mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2025-01-15 23:00:08 +00:00
GtkFontChooser: Set correct margin values between UI elements
This commit is contained in:
parent
a55d2f67b0
commit
23b15254bb
@ -561,6 +561,11 @@ gtk_font_chooser_init (GtkFontChooser *fontchooser)
|
|||||||
grid = gtk_grid_new ();
|
grid = gtk_grid_new ();
|
||||||
sub_grid = gtk_grid_new ();
|
sub_grid = gtk_grid_new ();
|
||||||
|
|
||||||
|
gtk_widget_set_margin_bottom (priv->search_entry, 6);
|
||||||
|
gtk_widget_set_margin_bottom (scrolled_win, 6);
|
||||||
|
gtk_widget_set_margin_bottom (priv->preview, 6);
|
||||||
|
gtk_widget_set_margin_right (priv->size_slider, 6);
|
||||||
|
|
||||||
gtk_grid_attach (GTK_GRID (grid), priv->search_entry, 0, 0, 3, 1);
|
gtk_grid_attach (GTK_GRID (grid), priv->search_entry, 0, 0, 3, 1);
|
||||||
gtk_grid_attach (GTK_GRID (grid), scrolled_win, 0, 1, 3, 1);
|
gtk_grid_attach (GTK_GRID (grid), scrolled_win, 0, 1, 3, 1);
|
||||||
gtk_grid_attach (GTK_GRID (grid), priv->preview, 0, 2, 3, 1);
|
gtk_grid_attach (GTK_GRID (grid), priv->preview, 0, 2, 3, 1);
|
||||||
|
Loading…
Reference in New Issue
Block a user