fixes the resize of editor div

pull/1856/head
lianahus 3 years ago committed by yann300
parent 5adf07072a
commit ce2d0497e7
  1. 6
      libs/remix-ui/editor/src/lib/remix-ui-editor.css
  2. 4
      libs/remix-ui/editor/src/lib/remix-ui-editor.tsx

@ -11,6 +11,6 @@
} }
.contextview { .contextview {
opacity : 1; opacity: 1;
position : relative; position: absolute;
} }

@ -259,7 +259,7 @@ export const EditorUI = (props: EditorUIProps) => {
range: new monacoRef.current.Range(marker.position.start.line + 1, marker.position.start.column + 1, marker.position.end.line + 1, marker.position.end.column + 1), range: new monacoRef.current.Range(marker.position.start.line + 1, marker.position.start.column + 1, marker.position.end.line + 1, marker.position.end.column + 1),
options: { options: {
isWholeLine, isWholeLine,
inlineClassName: `bg-info highlightLine${marker.position.start.line + 1}` inlineClassName: `alert-info highlightLine${marker.position.start.line + 1}`
} }
}) })
} }
@ -380,7 +380,7 @@ export const EditorUI = (props: EditorUIProps) => {
} }
return ( return (
<div className="w-100 h-100 d-flex flex-column"> <div className="w-100 h-100 d-flex flex-column-reverse">
<Editor <Editor
width="100%" width="100%"
path={props.currentFile} path={props.currentFile}

Loading…
Cancel
Save