214
214
<widget class="GtkVScale" id="vscale1">
215
215
<property name="width_request">25</property>
216
216
<property name="visible">True</property>
218
218
<property name="inverted">True</property>
219
219
<property name="digits">0</property>
220
220
<signal name="value_changed" handler="on_vscale1_value_changed"/>