all: add support for hy3 like tiling

jay-config/src/theme.rs

@@ -302,6 +302,38 @@ pub mod colors {
         ///
         /// Default: `#9d28c67f`.
         const 15 => HIGHLIGHT_COLOR,
+        /// The background color of an active (focused) tab.
+        ///
+        /// Default: `#33ccff40`.
+        const 16 => TAB_ACTIVE_BACKGROUND_COLOR,
+        /// The border color of an active (focused) tab.
+        ///
+        /// Default: `#33ccffee`.
+        const 17 => TAB_ACTIVE_BORDER_COLOR,
+        /// The background color of an inactive tab.
+        ///
+        /// Default: `#222222`.
+        const 18 => TAB_INACTIVE_BACKGROUND_COLOR,
+        /// The border color of an inactive tab.
+        ///
+        /// Default: `#333333`.
+        const 19 => TAB_INACTIVE_BORDER_COLOR,
+        /// The text color of an active (focused) tab.
+        ///
+        /// Default: `#ffffff`.
+        const 20 => TAB_ACTIVE_TEXT_COLOR,
+        /// The text color of an inactive tab.
+        ///
+        /// Default: `#888888`.
+        const 21 => TAB_INACTIVE_TEXT_COLOR,
+        /// The background color of the tab bar strip.
+        ///
+        /// Default: `#111111`.
+        const 22 => TAB_BAR_BACKGROUND_COLOR,
+        /// The background color of a tab that has requested attention.
+        ///
+        /// Default: `#23092c`.
+        const 23 => TAB_ATTENTION_BACKGROUND_COLOR,
     }
 
     /// Sets the color of GUI element.
@@ -374,5 +406,29 @@ pub mod sized {
         ///
         /// Default: 0
         const 06 => TITLE_GAP,
+        /// The height of the tab bar in pixels.
+        ///
+        /// Default: 22
+        const 07 => TAB_BAR_HEIGHT,
+        /// The padding between tabs in the tab bar in pixels.
+        ///
+        /// Default: 6
+        const 08 => TAB_BAR_PADDING,
+        /// The corner radius of tabs in the tab bar in pixels.
+        ///
+        /// Default: 6
+        const 09 => TAB_BAR_RADIUS,
+        /// The border width of tabs in the tab bar in pixels.
+        ///
+        /// Default: 2
+        const 10 => TAB_BAR_BORDER_WIDTH,
+        /// The horizontal padding within each tab for text in pixels.
+        ///
+        /// Default: 4
+        const 11 => TAB_BAR_TEXT_PADDING,
+        /// The gap between the tab bar and the window content below in pixels.
+        ///
+        /// Default: 4
+        const 12 => TAB_BAR_GAP,
     }
 }