diff --git a/gtk/parameters.ui b/gtk/parameters.ui
index bb90ccefe..1a11b24d0 100644
--- a/gtk/parameters.ui
+++ b/gtk/parameters.ui
@@ -186,13 +186,13 @@
- default
+ default
- high-fps
+ high-fps
- custom
+ custom
@@ -2086,7 +2086,7 @@
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
True
-