cleaning editor
fix user selection in editor

code mirror does not support text selection on iOS devices -> double tap -> hide softkeyboard