A keyboard-driven pixel editor