chiark / gitweb /
hostside/gui: whitespace changes and emacs mode setting in gui-layout.config