Merge branch 'main' into new-editors

This commit is contained in:
Ne_Eo
2024-09-01 02:33:38 +02:00
10 changed files with 229 additions and 4 deletions
@@ -14,8 +14,9 @@ final class EventManager {
var index = eventKeys.indexOf(c);
if (index < 0) {
eventKeys.push(c);
eventValues.push(Type.createInstance(c, []));
return cast eventValues.last();
var ret;
eventValues.push(ret = Type.createInstance(c, []));
return cast ret;
}
return cast eventValues[index];