edit() should accept linenumber as text
Reported by Samuel GOUGEON (@sgougeon)
BUG DESCRIPTION:
----------------
It is very handy to use edit() inline, as in
--> edit linespace 23
Unfortunately, this sends 23 as the string "23", that is not accepted. edit() should accept it, and then internally convert is as a number.
ERROR LOG:
----------
-->edit linespace 23
!--error 10000
edit: Wrong type for input argument #2: Double expected.
at line 15 of function edit called by :
edit linespace 23
HOW TO REPRODUCE THE BUG:
-------------------------
edit linespace 23
OTHER INFORMATION:
------------------