1) >>> (( ... ) takes a few tenths of a second to highlight the previous paren - it should be redrawn immediately. 2) >>> (( ... )x doesn't unhighlight prev paren