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