wip

2026-06-22 02:01:55 +07:00 · 2025-04-15 09:13:54 +03:00
parent 43c1592ab7
commit cc2549323d
15 changed files with 1723 additions and 209 deletions
@@ -764,6 +764,8 @@ pub enum Action {
    },
    /// Clear the dynamic cast target, making it show nothing.
    ClearDynamicCastTarget {},
+    /// Toggle the Overview.
+    ToggleOverview {},
 }

 /// Change in window or column size.