chiark / gitweb /
suppress more redundant redisplay_tree() calls