1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.38.2 -->
3 <interface domain=
"sm">
4 <requires lib=
"gtk+" version=
"3.20"/>
5 <object class=
"GtkBox" id=
"MathWindow">
6 <property name=
"visible">True
</property>
7 <property name=
"can-focus">False
</property>
8 <property name=
"hexpand">True
</property>
9 <property name=
"vexpand">True
</property>
10 <property name=
"spacing">6</property>
12 <object class=
"GtkScrolledWindow" id=
"scrolledwindow">
13 <property name=
"visible">True
</property>
14 <property name=
"can-focus">True
</property>
15 <property name=
"hexpand">True
</property>
16 <property name=
"border-width">0</property>
17 <property name=
"shadow-type">etched-out
</property>
19 <object class=
"GtkViewport">
20 <property name=
"visible">True
</property>
21 <property name=
"can-focus">False
</property>
23 <object class=
"GtkDrawingArea" id=
"mathview">
24 <property name=
"visible">True
</property>
25 <property name=
"can-focus">True
</property>
26 <property name=
"events">GDK_BUTTON_MOTION_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK | GDK_FOCUS_CHANGE_MASK | GDK_STRUCTURE_MASK | GDK_SCROLL_MASK
</property>
33 <property name=
"expand">False
</property>
34 <property name=
"fill">True
</property>
35 <property name=
"position">0</property>