Several minor improvements

• Double click now behaves normally when no ObjectReplacementCharacter is in the selection.
• Pressing tab at the beginning of the line or within spaces at the beginning of the line indents more smartly. ToDo: Context aware indentation (especially for Python backends)
• Cursor movements across entries works better.