Update project & git menus to be Toggleable<Interactive<ContainedText>>

Co-Authored-By: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com>
This commit is contained in:
Nate Butler
2023-07-05 12:50:56 -04:00
co-authored by Piotr Osiewicz
parent 0e0d78df84
commit 1baa13561d
3 changed files with 19 additions and 12 deletions
+7 -2
View File
@@ -173,9 +173,14 @@ export function titlebar(theme: ColorScheme): any {
},
// Project
title: text(theme.lowest, "sans", "active"),
project_name_divider: text(theme.lowest, "sans", "variant"),
git_branch: text(theme.lowest, "sans", "variant"),
project_menu_button: toggleable_text_button(theme, {
color: 'base',
}),
git_menu_button: toggleable_text_button(theme, {
color: 'variant',
}),
// Collaborators
leader_avatar: {