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

[min] Either Tag Mode should enable word tips again, or exiting Tag Mode should not disable word tips #1445

Open
kayaulai opened this issue Dec 10, 2023 · 0 comments
Open

[min] Either Tag Mode should enable word tips again, or exiting Tag Mode should not disable word tips #1445

kayaulai opened this issue Dec 10, 2023 · 0 comments
Assignees
@kayaulai
Labels
polish This issue is about a small item of polishing, mainly aesthetics.

Comments

@kayaulai
Copy link
Collaborator

kayaulai commented Dec 10, 2023 •
edited
Loading

Right now, it's weird that exiting Tag Mode disables word tips, given that Tag Mode no longer automatically activates word tips.

(I don't have strong feelings either way)
@kayaulai kayaulai added the polish This issue is about a small item of polishing, mainly aesthetics. label Dec 10, 2023
@kayaulai kayaulai self-assigned this Dec 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kayaulai kayaulai

Labels
polish This issue is about a small item of polishing, mainly aesthetics.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kayaulai