allow inversion of scale direction

Author: simon0302010

CONFIGURATION.md

@@ -30,13 +30,15 @@ Window settings.
 - **`window_bar_height`** (integer): Height of the window title bars in pixels (default: `20`).
 - **`text_color`** (string): Text color of the window title bars in hex format (e.g., `"#ffffff"`).
 - **`background_color`** (string): Background color of the window title bars in hex format (e.g., `"#272727"`).
+- **`reverse_resize`** (boolean): Reverse the direction of window resizing (default: `false`).
   ```toml
   [window]
   scale_steps = 20
   window_bars = false
   window_bar_height = 20
   text_color = "#ffffff"
   background_color = "#272727"
+  reverse_resize = false
   ```
 
 ### `[keyboard]`

bugs.txt

@@ -0,0 +1 @@
+- Window title changes do not trigger a bar refresh, leaving them unupdated until the next general bar update.

gridwm.toml

@@ -8,6 +8,7 @@ update_ms = "auto"
 scale_steps = 20
 window_bars = true
 window_bar_height = 20
+reverse_resize = true
 
 [keyboard]
 layout = "de"

src/gridwm/config.rs

@@ -26,6 +26,7 @@ pub struct Window {
     pub window_bar_height: u32,
     pub text_color: String,
     pub background_color: String,
+    pub reverse_resize: bool,
 }
 
 impl Default for Window {
@@ -36,6 +37,7 @@ impl Default for Window {
             window_bar_height: 20,
             text_color: "#ffffff".into(),
             background_color: "#272727".into(),
+            reverse_resize: false,
         }
     }
 }

src/gridwm/mod.rs

@@ -500,13 +500,20 @@ impl GridWM {
                                 false
                             };
 
-                            // TODO: make resize direction configurable
                             if is_drag_bind {
                                 self.handle_drag_start(btn_event);
                             } else if is_scroll_up {
-                                self.scale_up(btn_event);
+                                if !self.config.window.reverse_resize {
+                                    self.scale_up(btn_event);
+                                } else {
+                                    self.scale_down(btn_event);
+                                }
                             } else if is_scroll_down {
-                                self.scale_down(btn_event);
+                                if !self.config.window.reverse_resize {
+                                    self.scale_down(btn_event);
+                                } else {
+                                    self.scale_up(btn_event);
+                                }
                             } else {
                                 self.handle_button(event);
                             }