chiark / gitweb /
terminal: grdev: raise frame event after DISPLAY_ADD/CHANGE