Remove buttonside, use new corner_radii instead

2023-08-12 22:18:27 +02:00
parent 6be73e46bf
commit 94f1d8281a
5 changed files with 42 additions and 245 deletions
@@ -245,7 +245,7 @@ export default function search(): any {
            base: {
                text: text(theme.highest, "mono", "on"),
                background: background(theme.highest, "on"),
-                corner_radius: 6,
+                corner_radius: { top_left: 6, top_right: 6, bottom_right: 6, bottom_left: 6 },
                border: {
                    ...border(theme.highest, "on"),
                    left: false,