Commit e46e727f authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[gui] Form Checker: Fix typos; Add not() for invariant property (usefull to...

[gui] Form Checker: Fix typos; Add not() for invariant property (usefull to know this); Try to fix fields widths
parent 1d65462a
......@@ -31,7 +31,7 @@
<child>
<widget class="GtkLabel" id="label2">
<property name="visible">True</property>
<property name="label" translatable="yes"> It is possible to find initialization, such that property : </property>
<property name="label" translatable="yes"> It is possible to find initialization, such that the property: </property>
</widget>
<packing>
<property name="expand">False</property>
......@@ -84,7 +84,7 @@
<child>
<widget class="GtkLabel" id="label3">
<property name="visible">True</property>
<property name="label" translatable="yes"> in less than </property>
<property name="label" translatable="yes"> in less than </property>
</widget>
<packing>
<property name="expand">False</property>
......@@ -103,7 +103,7 @@
<child>
<widget class="GtkLabel" id="label4">
<property name="visible">True</property>
<property name="label" translatable="yes"> steps</property>
<property name="label" translatable="yes"> steps.</property>
</widget>
<packing>
<property name="expand">False</property>
......@@ -139,19 +139,20 @@
<child>
<widget class="GtkLabel" id="label7">
<property name="visible">True</property>
<property name="label" translatable="yes">Starting with the property (start prop)</property>
<property name="label" translatable="yes"> Starting with the property (start prop): </property>
</widget>
</child>
<child>
<widget class="GtkLabel" id="label10">
<property name="visible">True</property>
<property name="label" translatable="yes">Without checking the property (invariant prop)</property>
<property name="label" translatable="yes"> Without checking the property (invariant prop): not(</property>
</widget>
<packing>
<property name="position">1</property>
</packing>
</child>
</widget>
<packing>
<property name="expand">False</property>
<property name="position">1</property>
</packing>
</child>
<child>
<widget class="GtkVBox" id="vbox4">
......@@ -176,6 +177,27 @@
<property name="position">1</property>
</packing>
</child>
<child>
<widget class="GtkVBox" id="vbox5">
<property name="visible">True</property>
<child>
<widget class="GtkLabel" id="label_7">
<property name="visible">True</property>
<property name="label" translatable="no"></property>
</widget>
</child>
<child>
<widget class="GtkLabel" id="label_10">
<property name="visible">True</property>
<property name="label" translatable="no">) </property>
</widget>
</child>
</widget>
<packing>
<property name="expand">False</property>
<property name="position">2</property>
</packing>
</child>
</widget>
</child>
<child>
......@@ -200,8 +222,11 @@
<child>
<widget class="GtkLabel" id="label5">
<property name="visible">True</property>
<property name="label" translatable="yes">Maximum solution number </property>
<property name="label" translatable="yes"> Maximum solution number: </property>
</widget>
<packing>
<property name="expand">False</property>
</packing>
</child>
<child>
<widget class="GtkEntry" id="entry_nbsol">
......@@ -209,6 +234,7 @@
<property name="can_focus">True</property>
</widget>
<packing>
<property name="expand">False</property>
<property name="position">1</property>
</packing>
</child>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment