search

LogtalkDotOrg / logtalk-for-vscode

Logtalk for VSCode extension
MIT License
4 stars 0 forks source link

Trailing period annoyance #9

Open unthingable opened 3 weeks ago

unthingable commented 3 weeks ago

Latest VSCode development build.

Deleting characters in front of the trailing period will eventually forcefully replace the period, this is not undoable. Does not occur when there is a space after the period.

Untitled

Expected: the period to be left alone.

pmoura commented 3 weeks ago

Not in front of but to the left of the trailing period. If the period is left there, as soon as you delete the m1(G) test, the period will be immediately replaced by m1(G).. I.e. back to where we started.

cl-alexk commented 2 weeks ago

Right, exactly. The behavior in heritage from the original extension and is unwelcome :)

There are plenty of reasons to temporarily have a dangling period when making edits, including fatfingering it on a blank line.