You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some more important ideas:
a) automatically launching console_server.py,
b) graceful shutdown and cleaning of supervisor's process list
c) multiple console tabs
d) prepare for plugin updates: unload_handler() in sublimepty that gracefully closes all processes and cleans supervisor
e) correctly issuing CTRL_C_EVENT is still a mystery (it either kills controlling console_server.py or does nothing)
f) right now console_client.py/console_server.py are implementing a simple RPC over UDP. Problem is, that it's synchronous.
g) fix a problem when buffer resize in Far is not propagated to console (basically console has one window size, but two buffer sizes, depending on mode or something ;)
h) generally investigate if we can perform resizes more often
Use ctypes instead
The text was updated successfully, but these errors were encountered: