From b2115a5bb01eb19ad3eb58eae8c20c02fe6b8acc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81d=C3=A1m=20Kov=C3=A1cs?=
<43071496+adam-kov@users.noreply.github.com>
Date: Thu, 2 Feb 2023 23:00:43 +0100
Subject: [PATCH] fix(frontend): Various fixes and improvements (#1177)
* fix(frontend): Editor bar
* fix(frontend): Keep settings tabs always visible
* fix(frontend): Keep app header on top in preview
---
frontend/src/lib/components/EditorBar.svelte | 240 ++++++++++--------
frontend/src/lib/components/Popover.svelte | 10 +-
.../components/apps/editor/AppEditor.svelte | 4 +-
.../components/apps/editor/AppPreview.svelte | 4 +-
4 files changed, 141 insertions(+), 117 deletions(-)
diff --git a/frontend/src/lib/components/EditorBar.svelte b/frontend/src/lib/components/EditorBar.svelte
index 21e5dcb1d1..cdbd6b162e 100644
--- a/frontend/src/lib/components/EditorBar.svelte
+++ b/frontend/src/lib/components/EditorBar.svelte
@@ -29,6 +29,8 @@
import PickHubScript from './flows/pickers/PickHubScript.svelte'
import ToggleHubWorkspace from './ToggleHubWorkspace.svelte'
import Skeleton from './common/skeleton/Skeleton.svelte'
+ import Popover from './Popover.svelte'
+ import Kbd from './common/kbd/Kbd.svelte'
export let lang: 'python3' | 'deno' | 'go' | 'bash'
export let editor: Editor
@@ -225,121 +227,137 @@