Little tiny button for Key Editor view Makes everything easy

Perhaps a pop-up checkbox when you scroll to the window’s edge, 'cause everybody loves those.