marc paradise

A big change has been to move many of the global settings into connection-specific settings. Nearly all of them, in fact – most importantly, you can now set font on a per-connection basis.