Open vicchig opened 2 years ago
It should only be allowed if the user is typing inside of a TypedEmptyExpr. If the user choose to convert their text to string, currently a hole will be inserted at inappropriate locations.
TypedEmptyExpr
It should only be allowed if the user is typing inside of a
TypedEmptyExpr
. If the user choose to convert their text to string, currently a hole will be inserted at inappropriate locations.