[gtksourceview] testwidget: copy margin position from view to map

[Christian Hergert <chergert src gnome org>]

commit c4c7e5a458195934b9402516631f50906da8f559
Author: Christian Hergert <chergert redhat com>
Date:   Thu Oct 14 16:47:25 2021 -0700

    testwidget: copy margin position from view to map

 tests/test-widget.c | 3 +++
 1 file changed, 3 insertions(+)
---
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