Stijn ("stain") Seghers ab159238dd Run IDE with Project Manager endpoint instead of Language Server endpoints, when on local backend (#6810) ... This is a fix for a couple of recent regressions: - Fixes #6756: Projects couldn't be renamed anymore from within the project view. - Fixes #6804: One could no longer switch between projects from within the project view. - It also unblocks the issue with the spinner (that got reverted), but that probably needs some extra attention. It might be the long-term goal to have different UX solutions to these cases, but this should fix those regressions in the short term at least. Thanks to @somebody1234 for the in-depth conversation (and the actual code!).		2023-05-30 12:42:22 +00:00
..
lib	Run IDE with Project Manager endpoint instead of Language Server endpoints, when on local backend (#6810)	2023-05-30 12:42:22 +00:00
.gitignore	Replace webpack with esbuild (#3592)	2022-08-10 03:41:44 +02:00
eslint.config.js	Enable require-jsdoc lint and add two lints related to React (#6403)	2023-05-19 19:55:29 +00:00
package-lock.json	Dashboard directory interactivity (#6279)	2023-04-26 11:52:13 +02:00
package.json	Run TypeScript typechecking and eslint on Lint CI (#6603)	2023-05-23 12:22:53 +02:00
tsconfig.json	Run TypeScript typechecking and eslint on Lint CI (#6603)	2023-05-23 12:22:53 +02:00
utils.ts	Enable require-jsdoc lint and add two lints related to React (#6403)	2023-05-19 19:55:29 +00:00