Cursor Doubling

Cursor now doubles with pixel doubling, enabled by a new checkbox in the settings menu.
Bogus indentation caused by spaces. We use tabs :-)