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

Disable spellcheck on words starting with a capital letter #5174

Open
1 of 3 tasks
SecT0uch opened this issue May 20, 2024 · 1 comment
Open
1 of 3 tasks

Disable spellcheck on words starting with a capital letter #5174

SecT0uch opened this issue May 20, 2024 · 1 comment
Labels
enhancement This is an enhancement to a feature of Zettlr.

Comments

@SecT0uch
Copy link

Description

An opt-in option to disable spellchecking on words starting with a capital letter would be useful.

I'm working on IT docs an a lot of acronyms, protocols, software and brand names are not in the provided dictionaries.
Given the number of proposed corrections adding them one by one in the custom dict is simply not realistic.

Proposed Changes

An opt-in checkbox in the spellchecking settings.

Caveats

From an user perspective, none.

Do you Wish to Attempt Implementing this Yourself?

No

Zettlr Version

Stable (most recent version)

Your Platform

  • Windows
  • macOS
  • Linux

Operating System Version

No response

Additional Information

No response

@SecT0uch SecT0uch added the enhancement This is an enhancement to a feature of Zettlr. label May 20, 2024
Copy link

boring-cyborg bot commented May 20, 2024

Thanks so much for opening up your first issue here on the repository! 🎉
We would like to warmly welcome you to the community behind the app! ☺️
We'll check in soon and have a look at your issue. In the meantime, you can
check your issue and make sure it aligns with our contribution guidelines!
Here's the comprehensive list:

NOTE: Please do not share screen captures of buggy behavior on YouTube.
If you have uploaded a video on YouTube and linked it already, don't
worry! But, we would like to ask you to remove the video from YouTube
and upload it directly to GitHub instead, by editing your comment.
Read more here.

Enhancements

An enhancement takes a feature and improves or alters its behaviour. Please
make sure to argue how your proposition will aid non-technical text workers,
and why it can't be emulated easily with other features or apps!

Feature requests

Feature requests introduce whole new features into the app. This requires a
lot of work, so these might be turned down if the implementation costs
supersede the benefits we expect to see from implementing it. Please do not
be disappointed if that happens. It likely has nothing to do with your great
request but simply with us and our missing resources!

You can of course always ask someone to implement this feature, because a PR
with a working new feature has much higher chances of being merged! :)

Bug reports

Please note that one of the main reasons for why bug reports cannot be
addressed is that there's not enough information for us to find and fix the
bug you describe, so make sure you try to pinpoint the bug as close as
possible.

The ideal bug report for us has two qualities:

  1. The bug is always reproducible, at least within a certain context.
  2. We know exactly what specifically goes wrong, and there is consensus on
    what should happen instead.

Please note that if you encounter behaviour that does not align with your
expectations of what would happen, this might as well be simply intended
behaviour and we need to simply clarify why the behaviour is the way it is.
This is not to be considered a bug and such issues may be closed! Suggest an
enhancement instead!

But now, have a great day and thank you again!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement This is an enhancement to a feature of Zettlr.
Projects
None yet
Development

No branches or pull requests

1 participant