chiark / gitweb /
terminal/screen: mark cursor dirty on enabled/disable