Multiple +/- button clicks don't remove the sign trivially.
Steps to reproduce
Just load the page, click on 1 and then click multiple times on the +/- button
Expected result
If only a single -(<expr>) is there, clicking on +/- should replace it with <expr>.
Currently, it makes the expression -(-(<expr>)), which also takes a long time to evaluate
Defect description
Multiple
+/-button clicks don't remove the sign trivially.Steps to reproduce
Just load the page, click on 1 and then click multiple times on the
+/-buttonExpected result
If only a single
-(<expr>)is there, clicking on+/-should replace it with<expr>. Currently, it makes the expression-(-(<expr>)), which also takes a long time to evaluateScreenshot