+
{dateSepStr}
);
lineElements.push(sepElem);
+ } else if (idx > 0) {
+ lineElements.push(
);
}
let topBorder = dateSepStr == null && this.hasTopBorder(lines, idx);
let lineProps = {
diff --git a/src/app/sidebar/sidebar.less b/src/app/sidebar/sidebar.less
index d548bc447..7f20918f2 100644
--- a/src/app/sidebar/sidebar.less
+++ b/src/app/sidebar/sidebar.less
@@ -10,6 +10,9 @@
line-height: 20px;
backdrop-filter: blur(4px);
z-index: 20;
+ border-radius: 10px;
+ border-left: 1px solid @thin-border-color;
+ border-bottom: 1px solid @thin-border-color;
.title-bar-drag {
-webkit-app-region: drag;
diff --git a/src/app/workspace/cmdinput/cmdinput.less b/src/app/workspace/cmdinput/cmdinput.less
index 148bbb384..e30be2e5b 100644
--- a/src/app/workspace/cmdinput/cmdinput.less
+++ b/src/app/workspace/cmdinput/cmdinput.less
@@ -1,25 +1,17 @@
@import "@/common/themes/themes.less";
.cmd-input {
- border-radius: 6px;
max-height: max(300px, 40%);
display: flex;
flex-direction: column;
position: absolute;
- bottom: var(--termfontsize);
- right: var(--termfontsize);
- width: calc(100% - 2 * var(--termfontsize));
+ bottom: 0;
+ width: 100%;
padding: var(--termfontsize);
z-index: 100;
- background: @background-session-components;
- box-shadow: 0px 1px 3px 0px rgba(0, 0, 0, 0.5), 0px 3px 8px 0px rgba(0, 0, 0, 0.35),
- 0px 0px 0.5px 0px rgba(255, 255, 255, 0.5) inset, 0px 0.5px 0px 0px rgba(255, 255, 255, 0.2) inset;
- backdrop-filter: blur(20px);
- border: 1px solid transparent;
+ border-top: 1px solid @thin-border-color;
&.active {
- border: 1px solid rgba(@wave-green, 0.8) !important;
- box-shadow: 0px 0px 0.5px 0px rgba(255, 255, 255, 0.5) inset, 0px 0.5px 0px 0px rgba(255, 255, 255, 0.2) inset;
}
&.has-info {
diff --git a/src/app/workspace/screen/screenview.less b/src/app/workspace/screen/screenview.less
index 9f092f5e1..cc89d7843 100644
--- a/src/app/workspace/screen/screenview.less
+++ b/src/app/workspace/screen/screenview.less
@@ -4,6 +4,7 @@
.screen-view {
flex-grow: 1;
position: relative;
+ border-top: 1px solid @thin-border-color;
}
.screen-sidebar,
@@ -17,19 +18,36 @@
right: 0;
display: flex;
flex-direction: column;
- height: calc(100% - 0.5rem);
+ height: 100%;
overflow: hidden;
- margin-left: 5px;
- padding-left: 5px;
overflow-y: auto;
+ border-left: 1px solid @thin-border-color;
.sidebar-header {
/* sidebar-header height linked to MagicLayout.ScreenSidebarHeaderHeight */
display: flex;
flex-direction: row;
- padding: 3px 5px;
- border-radius: 3px;
- margin: 3px 5px 0 5px;
+ padding: 3px 0;
+ margin: 0;
+ border-bottom: 1px solid @thin-border-color;
+ font-size: var(--termfontsize);
+ font-family: var(--termfontfamily);
+ font-weight: normal;
+ line-height: var(--termlineheight);
+ color: @text-caption;
+
+ &:hover {
+ color: white;
+ }
+
+ div.pane-name {
+ visibility: hidden;
+ margin-left: calc(var(--termpad) * 2);
+ }
+
+ &:hover div.pane-name {
+ visibility: visible;
+ }
i {
padding: 3px;
@@ -73,7 +91,7 @@
display: flex;
flex-direction: column;
position: absolute;
- height: calc(100% - 0.5rem);
+ height: 100%;
overflow-x: hidden;
.rendermode-tag {
diff --git a/src/app/workspace/screen/screenview.tsx b/src/app/workspace/screen/screenview.tsx
index 7cb8dc807..2cf386256 100644
--- a/src/app/workspace/screen/screenview.tsx
+++ b/src/app/workspace/screen/screenview.tsx
@@ -300,6 +300,7 @@ class ScreenSidebar extends React.Component<{ screen: Screen; width: string }, {
return (
+
sidebar
@@ -307,8 +308,8 @@ class ScreenSidebar extends React.Component<{ screen: Screen; width: string }, {
-
diff --git a/src/app/workspace/workspace.less b/src/app/workspace/workspace.less
index 3ae9c0f5f..8d5aa4d0e 100644
--- a/src/app/workspace/workspace.less
+++ b/src/app/workspace/workspace.less
@@ -8,12 +8,12 @@
&.is-hidden {
display: none;
}
- background: @background-session;
- border: 1px solid @base-border;
- border-radius: 8px;
- // transition: width 0.2s ease;
- margin-bottom: 0.5em;
- margin-right: 0.5em;
+ border-radius: 10px;
+ border-radius: 0 0 6px 6px;
+ border-bottom: 1px solid @thin-border-color;
+ border-right: 1px solid @thin-border-color;
+ border-left: 1px solid @thin-border-color;
+ background-color: black;
.center-message {
display: flex;
diff --git a/src/app/workspace/workspaceview.tsx b/src/app/workspace/workspaceview.tsx
index 6e811091a..80f53d9d8 100644
--- a/src/app/workspace/workspaceview.tsx
+++ b/src/app/workspace/workspaceview.tsx
@@ -36,7 +36,6 @@ class WorkspaceView extends React.Component<{}, {}> {
if (cmdInputHeight == 0) {
cmdInputHeight = MagicLayout.CmdInputHeight; // this is the base size of cmdInput (measured using devtools)
}
- cmdInputHeight += MagicLayout.CmdInputBottom; // reference to .cmd-input, bottom: 12px
let isHidden = GlobalModel.activeMainView.get() != "session";
let mainSidebarModel = GlobalModel.mainSidebarModel;
diff --git a/src/plugins/code/code.less b/src/plugins/code/code.less
index e534e3f8b..cd9d31552 100644
--- a/src/plugins/code/code.less
+++ b/src/plugins/code/code.less
@@ -4,7 +4,7 @@
.monaco-editor {
.monaco-editor-background,
.margin-view-overlays {
- background-color: @base-background !important;
+ background-color: black !important;
}
.scrollbar {
height: 4px !important;
@@ -16,7 +16,6 @@
}
.buttonContainer {
opacity: 0;
- transition: opacity 0.2s;
position: absolute;
padding: 0.5rem;
right: 0;
@@ -49,7 +48,7 @@
}
}
section {
- transition: height 0.3s ease-in-out;
+ // transition: height 0.3s ease-in-out;
}
.messageContainer {
position: absolute;
diff --git a/src/plugins/code/code.tsx b/src/plugins/code/code.tsx
index 9e5bb5d89..49590140f 100644
--- a/src/plugins/code/code.tsx
+++ b/src/plugins/code/code.tsx
@@ -8,11 +8,24 @@ import { Markdown } from "@/elements";
import { GlobalModel, GlobalCommandRunner } from "@/models";
import Split from "react-split-it";
import loader from "@monaco-editor/loader";
-loader.config({ paths: { vs: "./node_modules/monaco-editor/min/vs" } });
import { checkKeyPressed, adaptFromReactOrNativeKeyEvent } from "@/util/keyutil";
import "./code.less";
+document.addEventListener("DOMContentLoaded", () => {
+ loader.config({ paths: { vs: "./node_modules/monaco-editor/min/vs" } });
+ loader.init().then(() => {
+ monaco.editor.defineTheme("wave-theme", {
+ base: "hc-black",
+ inherit: true,
+ rules: [],
+ colors: {
+ "editor.background": "#000000",
+ },
+ });
+ });
+});
+
function renderCmdText(text: string): any {
return ⌘{text};
}
@@ -330,7 +343,7 @@ class SourceCodeRenderer extends React.Component<
{this.state.showReadonly &&
{"read-only"}
}
this.terminal._core.viewport.syncScrollArea(true), 0);
+ setTimeout(() => this.terminal?._core?.viewport?.syncScrollArea(true), 0);
}
disconnectElem() {