Johannes Frohnmeyer 8af7c214d2 Make it compile against java-gi changes (and some patches)		2023-01-10 21:20:01 +01:00
..
control	Make it compile against java-gi changes (and some patches)	2023-01-10 21:20:01 +01:00
window	Fix (don't use extension methods for now)	2022-11-24 21:11:07 +01:00
GuiEnvBackend.java	Rework exporting	2022-09-18 15:15:30 +02:00
GuiMain.java	Refactor to use manifold and records for models	2022-11-18 21:58:40 +01:00