+const defaultSplitterSize = 90;
+
+const getSplitterInitialSize = () => {
+ const splitterSize = localStorage.getItem('splitterSize');
+ return splitterSize ? Number(splitterSize) : defaultSplitterSize;
+};
+
+const saveSplitterSize = (size: number) => localStorage.setItem('splitterSize', size.toString());
+
+export const WorkbenchPanel =
+ withStyles(styles)(({ classes }: WorkbenchPanelProps) =>