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

Add dictionary features #22

Open
Crivella opened this issue Dec 6, 2023 · 0 comments
Open

Add dictionary features #22

Crivella opened this issue Dec 6, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@Crivella
Copy link
Owner

Crivella commented Dec 6, 2023

If requested by the extension, server should be able to provide definitions.
The server should return a per-word or per-block definition that the extension will than add as a popup or tooltip to the text

  • Add an option to turn this behavior on/off
  • Server should communicate list of available dictionaries (eg list of languages that support this feature)
  • As dictionaries might be bulkier, they should be supplied separately (eg specific repos or even on a plugin basis)
    • Automatically downloaded when requested
    • And/or tool to allow user to manage installed/downloaded dictionaries
@Crivella Crivella added the enhancement New feature or request label Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant