diff options
| author | Christian Hergert <chergert@redhat.com> | 2021-10-14 16:47:25 -0700 |
|---|---|---|
| committer | Christian Hergert <chergert@redhat.com> | 2021-10-14 16:47:25 -0700 |
| commit | c4c7e5a458195934b9402516631f50906da8f559 (patch) | |
| tree | e6a5fec7be5f29d410b909c351109078c337645e /tests | |
| parent | 487a9ddeef552d8c9a7ad00aa271f6c3c492f41b (diff) | |
| download | gtksourceview-c4c7e5a458195934b9402516631f50906da8f559.tar.gz | |
testwidget: copy margin position from view to map
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/test-widget.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/test-widget.c b/tests/test-widget.c index 69500ba1..9d42650f 100644 --- a/tests/test-widget.c +++ b/tests/test-widget.c @@ -305,7 +305,10 @@ right_margin_position_value_changed_cb (TestWidget *self, GtkSpinButton *button) { gint position = gtk_spin_button_get_value_as_int (button); + gtk_source_view_set_right_margin_position (self->view, position); + gtk_source_view_set_right_margin_position (GTK_SOURCE_VIEW (self->map), position); + gtk_widget_queue_resize (GTK_WIDGET (self->map)); } static void |