Update screenshare toggle, titlebar spacing

This commit is contained in:
Nate Butler
2023-06-27 16:20:45 -04:00
parent 60ce584427
commit 825a7cb799
5 changed files with 47 additions and 19 deletions
+9 -3
View File
@@ -1,7 +1,13 @@
import { ColorScheme } from "../common";
import { interactive, toggleable } from "../element";
import { background, foreground } from "../styleTree/components";
import { Margin } from "../types/zed";
export type Margin = {
top: number;
bottom: number;
left: number;
right: number;
}
interface IconButtonOptions {
layer?: ColorScheme['lowest'] | ColorScheme['middle'] | ColorScheme['highest'];
@@ -34,8 +40,8 @@ export function icon_button(theme: ColorScheme, { color, margin, layer }: IconBu
margin: m,
icon_width: 15,
icon_height: 15,
button_width: 23,
button_height: 19,
button_width: 21,
button_height: 17,
},
state: {
default: {
+1 -1
View File
@@ -1,7 +1,7 @@
import { ColorScheme } from "../common";
import { interactive, toggleable } from "../element";
import { TextProperties, background, foreground, text } from "../styleTree/components";
import { Margin } from "../types/zed";
import { Margin } from "./icon_button";
interface TextButtonOptions {
layer?: ColorScheme['lowest'] | ColorScheme['middle'] | ColorScheme['highest'];