Method handleUserEvent

examples/kwinit/src_java/Main.java:227–254

(int cookie)

    }

    public void handleUserEvent(int cookie) {
        switch (cookie) {
            case 0:
                var windowAttrs = ("{'inner_size':{'width': " + width + ".0, 'height': " + height + ".0},"
                                   + "'position':{'x':100.0,'y':100.0},"
                                   + "'title':'Skija KWinit Example'}").replaceAll("'", "\"");
                window = ExternalAPI.createWindow(windowAttrs);
                // ExternalAPI.fireUserEvent(3);
                Stats.enabled = true;
                context = DirectContext.makeGL();
                scale = (float) ExternalAPI.getScaleFactor(window);
                mouseX = width / 2f;
                mouseY = height / 2f;
                onResize(width, height);
                break;
            case 1:
                ExternalAPI.requestRedraw(window);
                break;
            case 2:
                ExternalAPI.setOuterPosition(window, outerX, outerY);
                break;
            case 3:
                ExternalAPI.macosMoveStandardWindowButtons(window, 46, 26);
                break;
            default:
                log("Unknown user event", cookie);
        }
    }
}