Address some issues where panes don't get focused properly, make the focused pane more obvious, and prevent splitting of the pane with no items

2022-07-20 18:52:32 -07:00
parent d76cdb01be
commit 225055ed5d
13 changed files with 154 additions and 70 deletions
@@ -38,8 +38,10 @@ pub struct Theme {
 pub struct Workspace {
    pub background: Color,
    pub titlebar: Titlebar,
-    pub tab: Tab,
-    pub active_tab: Tab,
+    pub focused_active_tab: Tab,
+    pub focused_inactive_tab: Tab,
+    pub unfocused_active_tab: Tab,
+    pub unfocused_inactive_tab: Tab,
    pub pane_button: Interactive<IconButton>,
    pub pane_divider: Border,
    pub leader_border_opacity: f32,