chore: removed dev tools

Author: florian-jaeger

src/widgets/assignmentmanage.tsx

@@ -51,7 +51,7 @@ export class AssignmentManageView extends ReactWidget {
   render() {
     return (
       <QueryClientProvider client={queryClient}>
-        <ReactQueryDevtools initialIsOpen={false} />
+        {/* <ReactQueryDevtools initialIsOpen={false} /> */}
         <ThemeProvider theme={createTheme({ palette: { mode: this.theme } })}>
           <CssBaseline />
           <SnackbarProvider

src/widgets/coursemanage.tsx

@@ -44,7 +44,7 @@ export class CourseManageView extends ReactWidget {
   render() {
     return (
       <QueryClientProvider client={queryClient}>
-        <ReactQueryDevtools initialIsOpen={false} />
+        {/* <ReactQueryDevtools initialIsOpen={false} /> */}
         <ThemeProvider theme={createTheme({ palette: { mode: this.theme } })}>
           <CssBaseline />
           <SnackbarProvider