[gnome-builder/wip/gtk4-port: 1300/1774] plugins/editorui: but don't cause so much resizing

[Christian Hergert <chergert src gnome org>]

commit 5e9bb92eb4e2c73680ef85b60a4e71421926cf10
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jun 1 17:07:17 2022 -0700

    plugins/editorui: but don't cause so much resizing

 src/plugins/editorui/gbp-editorui-position-label.ui | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-position-label.ui 
b/src/plugins/editorui/gbp-editorui-position-label.ui
index 975c2f53e..26b2c90da 100644
--- a/src/plugins/editorui/gbp-editorui-position-label.ui
+++ b/src/plugins/editorui/gbp-editorui-position-label.ui
@@ -3,6 +3,7 @@
   <template class="GbpEditoruiPositionLabel" parent="GtkWidget">
     <child>
       <object class="GtkLabel" id="label">
+        <property name="width-chars">12</property>
         <attributes>
           <attribute name="font-features" value="tnum"/>
         </attributes>