We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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 text was updated successfully, but these errors were encountered:
有这个想法,目前正在弄其他平台的划词功能,之后再加快捷键功能吧
Sorry, something went wrong.
No branches or pull requests
可以通过快捷键的方式调用插件,无须点击插件图标。
这样相对更能提高效率,同时也避免遮挡文档。
所以,能否实现一个设置,隐藏插件图标。
The text was updated successfully, but these errors were encountered: