From b23cbbbfc7a7caf20dcc60da6d1b1399451d622e Mon Sep 17 00:00:00 2001 From: sawka Date: Thu, 12 Oct 2023 20:59:16 -0700 Subject: [PATCH] session -> workspace. also fix 'hide-prompt' class for openai --- src/app/common/modals/settings.tsx | 2 +- src/app/line/lines.less | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/app/common/modals/settings.tsx b/src/app/common/modals/settings.tsx index 2fe8d3f7e..947dbaee2 100644 --- a/src/app/common/modals/settings.tsx +++ b/src/app/common/modals/settings.tsx @@ -378,7 +378,7 @@ class SessionSettingsModal extends React.Component<{ sessionId: string }, {}> {
-
session settings ({session.name.get()})
+
workspace settings ({session.name.get()})
diff --git a/src/app/line/lines.less b/src/app/line/lines.less index 70ccfccdb..33da44989 100644 --- a/src/app/line/lines.less +++ b/src/app/line/lines.less @@ -46,7 +46,7 @@ } &.hide-prompt { - height: 16px; + height: 32px; } .line-icon {