Jonathan Coates 4accda6b8e Some tiny optimisations to the window API ... - Use integer indexes instead of strings (i.e. text, textColour). This is a tiny bit faster. - Avoid re-creating tables when clearing. We're still mostly limited by the VM (slow) and string concatenation (slow!). Short of having some low-level mutable buffer type, I don't think we can improve this much :(.		2023-06-25 21:04:05 +01:00
..
src	Some tiny optimisations to the window API	2023-06-25 21:04:05 +01:00
build.gradle.kts	Add support for proxying HTTP requests (#1461)	2023-06-06 18:58:24 +00:00