From 169fab7b12d893b27488719a87f6f73e502590b1 Mon Sep 17 00:00:00 2001 From: Maximilian Giller <m.giller@tu-braunschweig.de> Date: Sat, 28 May 2022 21:50:44 +0200 Subject: [PATCH] Fixed jQuery exception when loading graph --- src/editor/js/components/editor.css | 3 ++- src/editor/js/components/editor.tsx | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/editor/js/components/editor.css b/src/editor/js/components/editor.css index e962785..674f7ff 100644 --- a/src/editor/js/components/editor.css +++ b/src/editor/js/components/editor.css @@ -1,12 +1,13 @@ div#ks-editor #sidepanel { resize: horizontal; overflow: auto; - min-width: 50px; + min-width: 250px; max-width: 40%; height: inherit; margin: 0.3rem; padding: 0.25rem; + background-color: white; border: 1px lightgrey solid; border-radius: 5px; diff --git a/src/editor/js/components/editor.tsx b/src/editor/js/components/editor.tsx index 9fc1bd8..a5fbc4f 100644 --- a/src/editor/js/components/editor.tsx +++ b/src/editor/js/components/editor.tsx @@ -30,6 +30,8 @@ export class Editor extends React.PureComponent< constructor(props: InferType<typeof Editor.propTypes>) { super(props); + this.loadGraph = this.loadGraph.bind(this); + // Set as new state this.state = { state: undefined, -- GitLab