Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

The latex dots snippet prevents one from typing paragraphs. #394

Open
mashtonian opened this issue Jan 12, 2024 · 4 comments
Open

The latex dots snippet prevents one from typing paragraphs. #394

mashtonian opened this issue Jan 12, 2024 · 4 comments

Comments

@mashtonian
Copy link

When writing a large amount of text, multiple paragraphs, and having auto-completion enabled in your snippet engine, the 'dots' snippet intercedes when finishing a paragraph. The end of paragraph one is a '.' followed by 'Enter', which triggers the snippet insertion of '\dots'.

@OkelleyDevelopment
Copy link
Collaborator

Hi @mashtonian, I double checked and agree this should be changed to avoid the collision.

Ref: ./snippets/latex.json
snippet:

    "etc": {
        "prefix": "...",
        "body": "\\dots",
        "description": "\\dots"
    },

Now the question to answer is: what would be a better prefix? I'm considering dots or perhaps we simply remove the snippet entirely. 🤔

@OkelleyDevelopment OkelleyDevelopment self-assigned this Feb 12, 2024
@mashtonian
Copy link
Author

mashtonian commented Feb 12, 2024 via email

@JFMarten
Copy link

Hi, any progress on this topic? I just stumbled across this behavior.

@OkelleyDevelopment
Copy link
Collaborator

Hi @JFMarten and @mashtonian, I've tried the .. method and (to no surprise) it didn't provide any different behavior. The issue we're encountering is that the snippet engine is matching on . (the first dot of the three) and so when you enter to the next line it's selecting it.

This leads me to possible "fixes"

  • We try to update our snippet engines to match longer selections
  • We update the snippet to purely alphabetical prefixes (so this could become dots)

Thoughts or objections? Feel free to raise a PR too (not trying to gatekeep a fix 😅 )

@OkelleyDevelopment OkelleyDevelopment removed their assignment Mar 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants