The "Update clip panel" switch is turned on (I've never turned it off, so I assume that's the default). On further investigation, It looks like that feature doesn't work in release 4.1.7 (at least, for the ctrl-x issue I've described). Happily, it appears that somewhere between 4.1.7 and 4...