Micha Reiser 0073fd4945 [red-knot] Playground improvements (#17109) ... ## Summary A few smaller editor improvements that felt worth pulling out of my other feature PRs: * Load the `Editor` lazily: This allows splitting the entire monaco javascript into a separate async bundle, drastically reducing the size of the `index.js` * Fix the name of `to_range` and `text_range` to the more idiomatic js names `toRange` and `textRange` * Use one indexed values for `Position::line` and `Position::column`, which is the same as monaco (reduces the need for `+1` and `-1` operations spread all over the place) * Preserve the editor state when navigating between tabs. This ensures that selections are preserved even when switching between tabs. * Stop the default handling of the `Enter` key press event when renaming a file because it resulted in adding a newline in the editor		2025-04-01 10:04:51 +02:00
..
src	[red-knot] Playground improvements (#17109)	2025-04-01 10:04:51 +02:00
tests	[red-knot] Playground improvements (#17109)	2025-04-01 10:04:51 +02:00
Cargo.toml	[red-knot] Add settings support to playground (#16929)	2025-03-24 01:38:48 +00:00