some cursor weirdness just for the record: 1. when typing in math the cursor blinks before the math inset before returning to the right position
2. cursor and selection are not synchronized:
- when selecting with the keyboard the cursor moves
before the selection
- when selecting with the mouse the cursor lags behind
the selection (and therefore also outside the selection
when making the selection smaller)
