Character Encoding

The character encoding specifies the widths and combining behavior of Unicode code points within a terminal. The encoding is used to synchronize the location of the screen cursor between the client and server.

See unicode10tab.hpp for the character width tables and unicode10impl.hpp for the parsing code used by the current implementation.

In the future, a plugin model will be added to the multiplexer so that character widths and combining behavior can be implemented in plugins that are dynamically loaded, with each individual terminal able to specify the encoding (plugin) that it wants to use.