I created a windowed terminal run script. It uses the cli_monitor server (used in terminal_mux.run) in a windowed nit_fb, and it works, except I can't switch between terminals like I can in terminul_mux using Ctrl+X. How can I add this functionality? I've attached the run script for you to look at.
terminal_window.run
Description: Binary data
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main