fix panel scroll

+ move to bottom when minimized
This commit is contained in:
Felix Roos 2023-08-18 23:45:55 +02:00
parent 3afe540111
commit 37a35022f5
3 changed files with 5 additions and 4 deletions

View file

@ -114,7 +114,7 @@ export function Repl({ embedded = false }) {
const [view, setView] = useState(); // codemirror view
const [lastShared, setLastShared] = useState();
const [pending, setPending] = useState(true);
const {
let {
theme,
keybindings,
fontSize,