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.

Sign up for GitHub

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

Jump to bottom

spell check is gone #1079

Closed
PlamenToby opened this issue Mar 26, 2022 · 0 comments
Closed

spell check is gone #1079

PlamenToby opened this issue Mar 26, 2022 · 0 comments
Projects
What's next
Milestone
22.7

Comments

@PlamenToby
Copy link

After the latest update, there is no spell checker. Spelling -> shows a black dot.
@MiKTeX MiKTeX locked as resolved and limited conversation to collaborators Mar 26, 2022
@MiKTeX MiKTeX unlocked this conversation Jul 9, 2022
@edocevoli edocevoli added this to Triage in What's next via automation Jul 9, 2022
@edocevoli edocevoli added this to the 22.7 milestone Jul 9, 2022
@edocevoli edocevoli reopened this Jul 9, 2022
What's next automation moved this from Triage to To do Jul 9, 2022
@edocevoli edocevoli moved this from To do to In progress in What's next Jul 9, 2022
edocevoli added a commit that referenced this issue Jul 9, 2022
@edocevoli
bring back spell checker (#1079)
56e8261
What's next automation moved this from In progress to Done Jul 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
What's next
  
Done
Milestone
22.7
Development

No branches or pull requests
2 participants
@edocevoli @PlamenToby