Hi,
Indeed, this is something I was pondering on as well. The problem is that when you select something explicitly, you want to keep having the selection afterwards. Only when you press cmd+p without selection you want to come back in the same place without any selection.
It's a bit tricky to implement this one :).
Cheers, Doru
On Tue, Aug 12, 2014 at 9:22 PM, Alexandre Bergel alexandre.bergel@me.com wrote:
Hi!
There is a behavior that does not match my way of printing expressions.
1 - open a playground 2 - enter: 10 3 - print it (cmd-p) 4 - remove what has been printed by pressing backspace 5 - the value 10 is selected, which is a problem to me. Would it make sense to have the 10 unselected at that point? I do not see what could the reason to have it selected.
Alexandre
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.