[paparazzi center] make console non editable

2026-05-21 11:55:41 +08:00 · 2016-02-26 21:20:49 +01:00
parent ad477f0035
commit de2c7afc98
1 changed files with 1 additions and 0 deletions
@@ -1531,6 +1531,7 @@
                      <widget class="GtkTextView" id="console">
                        <property name="visible">True</property>
                        <property name="can_focus">True</property>
+                        <property name="editable">False</property>
                      </widget>
                    </child>
                  </widget>