I write a lot of markdown and use a lot of em dashes, so I want to replace two minus signs with a em dash.
But if the minus signs are after a space, they will be replace by a em dash and a minus sign "— -".
As a workaround, I tried with three minus signs and three plus signs, and the same bug happens.
No matter what characters I choose, if they come after a space, they will be replace with an em dash and a character.
And the prior space will be removed.
.
So " ---" will be replaced to "—-" and " +++" will be replaced to "—+".
Here's my config
"auto-correct.dictionary": [
{
"languages": [
"*"
],
"useLargeList": false,
"words": {}
},
{
"languages": [
"markdown"
],
"useLargeList": false,
"words": {
"+++": "—",
"--": "—"
}
},
I write a lot of markdown and use a lot of em dashes, so I want to replace two minus signs with a em dash.
But if the minus signs are after a space, they will be replace by a em dash and a minus sign "— -".
As a workaround, I tried with three minus signs and three plus signs, and the same bug happens.
No matter what characters I choose, if they come after a space, they will be replace with an em dash and a character.
And the prior space will be removed.
.
So " ---" will be replaced to "—-" and " +++" will be replaced to "—+".
Here's my config