extty supports changing the window size of the remote console via ExTTY.window_change/3
The ConsoleChannel docs show that window_size is an optional message from the Server, but it doesn't actually have a matching handle_info clause to handle that message, so it needs to be added.
extty
supports changing the window size of the remote console viaExTTY.window_change/3
The ConsoleChannel docs show that
window_size
is an optional message from the Server, but it doesn't actually have a matchinghandle_info
clause to handle that message, so it needs to be added.Also, this would be the counterpart to https://github.com/nerves-hub/nerves_hub_web/issues/654