+; Switch on the cursor if needed. We MUST always switch the cursor on,
+; before switching it off, because switching it off will restore the
+; character attribute remembered when it was switched on. So just switching
+; it off will restore the wrong character attribute.