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
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.