Testing version: Panda Version 1.0 (377)
What were you doing: Typing a some text.
What feature did you use: Typed ->
.
What happened: It remained as ->
.
What did you expect to happen: It to turn into one arrow symbol, like in Bear.
Testing version: Panda Version 1.0 (377)
What were you doing: Typing a some text.
What feature did you use: Typed ->
.
What happened: It remained as ->
.
What did you expect to happen: It to turn into one arrow symbol, like in Bear.
Arrow are still to be added to the new editors, but they are coming
Great, thank you for the update!