Does anyone know if it is possible to send new metrics to remglk if the user resizes the app window?
Yeah, that’s part of the protocol. The UI sends an 'arrange' event with the new size. RemGlk sends back new 'windows' information in the next update.
Oh! Like { "type": "arrange", "gen": g, "metrics": { MetricsObject }?
Nice. Thanks!