inspector: Add a switch to turn off animations

This may be useful in some places to check that application-specific
animations respect this setting.
This commit is contained in:
Matthias Clasen
2014-08-05 00:03:37 +02:00
parent d43fb29c5a
commit f0632d5ced
2 changed files with 45 additions and 0 deletions

View File

@ -233,6 +233,39 @@
</child>
</object>
</child>
<child>
<object class="GtkListBoxRow">
<property name="visible">True</property>
<property name="activatable">False</property>
<child>
<object class="GtkBox">
<property name="visible">True</property>
<property name="orientation">horizontal</property>
<property name="margin">10</property>
<property name="spacing">40</property>
<child>
<object class="GtkLabel" id="animation_label">
<property name="visible">True</property>
<property name="label" translatable="yes">Animations</property>
<property name="halign">start</property>
<property name="valign">baseline</property>
<property name="xalign">0.0</property>
</object>
</child>
<child>
<object class="GtkSwitch" id="animation_switch">
<property name="visible">True</property>
<property name="halign">end</property>
<property name="valign">baseline</property>
</object>
<packing>
<property name="expand">True</property>
</packing>
</child>
</object>
</child>
</object>
</child>
</object>
</child>
</object>
@ -396,6 +429,7 @@
<widget name="font_label"/>
<widget name="direction_label"/>
<widget name="hidpi_label"/>
<widget name="animation_label"/>
<widget name="updates_label"/>
<widget name="baselines_label"/>
<widget name="pixelcache_label"/>