<property name="position">450</property>
<child>
- <widget class="GtkScrolledWindow" id="ProofStatus">
+ <widget class="GtkScrolledWindow" id="ScrolledSequents">
<property name="visible">True</property>
<property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
<property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
</child>
<child>
- <widget class="GtkScrolledWindow" id="ScrolledUserInput">
+ <widget class="GtkScrolledWindow" id="ScrolledConsole">
<property name="visible">True</property>
<property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
<property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
</child>
</widget>
-<widget class="GtkDialog" id="TextDialog">
+<widget class="GtkDialog" id="EmptyDialog">
<property name="visible">True</property>
<property name="title" translatable="yes">DUMMY</property>
<property name="type">GTK_WINDOW_TOPLEVEL</property>
<property name="has_separator">True</property>
<child internal-child="vbox">
- <widget class="GtkVBox" id="TextDialogVBox">
+ <widget class="GtkVBox" id="EmptyDialogVBox">
<property name="visible">True</property>
<property name="homogeneous">False</property>
<property name="spacing">0</property>
<property name="layout_style">GTK_BUTTONBOX_END</property>
<child>
- <widget class="GtkButton" id="TextDialogCancelButton">
+ <widget class="GtkButton" id="EmptyDialogCancelButton">
<property name="visible">True</property>
<property name="can_default">True</property>
<property name="can_focus">True</property>
</child>
<child>
- <widget class="GtkButton" id="TextDialogOkButton">
+ <widget class="GtkButton" id="EmptyDialogOkButton">
<property name="visible">True</property>
<property name="can_default">True</property>
<property name="can_focus">True</property>
</child>
<child>
- <widget class="GtkLabel" id="TextDialogLabel">
+ <widget class="GtkLabel" id="EmptyDialogLabel">
<property name="visible">True</property>
<property name="label" translatable="yes">DUMMY</property>
<property name="use_underline">False</property>