c2bdee59
d674f230
* commit 'c2bdee591f663fb41006f9b816f0098b10a3610f': Editor: enable double tap for selection after cut/copy.
15de90de
9cb90cbb