diff options
Diffstat (limited to 'plugins/dfinput/dfinput.ui')
| -rw-r--r-- | plugins/dfinput/dfinput.ui | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/plugins/dfinput/dfinput.ui b/plugins/dfinput/dfinput.ui index 236b597a..df3b4606 100644 --- a/plugins/dfinput/dfinput.ui +++ b/plugins/dfinput/dfinput.ui @@ -679,6 +679,21 @@ <property name="position">0</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="checkcg"> + <property name="label" translatable="yes">Hide mouse cursor</property> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="xalign">0</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> </object> <packing> <property name="position">3</property> |