WindowServer+MouseSettings: Add ability to configure double-click speed (#5876)

This adds a double-click speed slider control to the Mouse Settings panel, and value labels for both the movement speed and double-click speed sliders. To allow for updating and persisting the configured double-click speed through the WindowServer, two IPC calls - `SetDoubleClickSpeed` and `GetDoubleClickSpeed` - have been added.
2025-07-28 06:27:45 +00:00 · 2021-04-02 07:08:18 -07:00 · 2021-04-02 07:08:18 -07:00 · a106f852d3
commit a106f852d3
parent e55b8712d4
10 changed files with 315 additions and 70 deletions
--- a/Userland/Applications/MouseSettings/MouseSettingsWindow.gml
+++ b/Userland/Applications/MouseSettings/MouseSettingsWindow.gml
@ -0,0 +1,105 @@
+@GUI::Widget {
+    fill_with_background_color: true
+
+    layout: @GUI::VerticalBoxLayout {
+        margins: [4, 4, 4, 4]
+    }
+
+    @GUI::GroupBox {
+        title: "Mouse speed"
+        fixed_height: 60
+
+        layout: @GUI::HorizontalBoxLayout {
+            margins: [6, 16, 8, 6]
+        }
+
+        @GUI::HorizontalSlider {
+            name: "speed_slider"
+            max: 3500
+            min: 500
+            value: 100
+        }
+
+        @GUI::Label {
+            name: "speed_label"
+            text: "100.0 %"
+            fixed_width: 50
+            text_alignment: "CenterRight"
+        }
+    }
+
+    @GUI::GroupBox {
+        title: "Scroll length"
+        fixed_height: 60
+
+        layout: @GUI::HorizontalBoxLayout {
+            margins: [16, 16, 8, 6]
+        }
+
+        @GUI::Label {
+            text: "Scroll by "
+            autosize: true
+            text_alignment: "CenterLeft"
+        }
+
+        @GUI::SpinBox {
+            name: "scroll_length_spinbox"
+            max: 32
+            min: 1
+            value: 4
+            text_alignment: "CenterRight"
+            fixed_width: 80
+        }
+
+        @GUI::Label {
+            text: " lines at a time"
+            text_alignent: "CenterLeft"
+            autosize: true
+        }
+    }
+
+    @GUI::GroupBox {
+        title: "Double-click speed"
+        fixed_height: 60
+
+        layout: @GUI::HorizontalBoxLayout {
+            margins: [6, 16, 8, 6]
+        }
+
+        @GUI::HorizontalSlider {
+            name: "double_click_speed_slider"
+            max: 900
+            min: 100
+            value: 250
+        }
+
+        @GUI::Label {
+            name: "double_click_speed_label"
+            text: "250 ms"
+            fixed_width: 50
+            text_alignment: "CenterRight"
+        }
+    }
+
+    @GUI::Widget {
+        fixed_height: 22
+
+        layout: @GUI::HorizontalBoxLayout {
+        }
+
+        @GUI::Button {
+            name: "ok_button"
+            text: "OK"
+        }
+
+        @GUI::Button {
+            name: "apply_button"
+            text: "Apply"
+        }
+
+        @GUI::Button {
+            name: "reset_button"
+            text: "Reset"
+        }
+    }
+}