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
Issue by perdolka Wednesday Jan 17, 2018 at 14:20 GMT
Highlight user settings by a different color. Example:
The text was updated successfully, but these errors were encountered:
Comment by Smile4ever Friday Jan 19, 2018 at 08:38 GMT
Good idea.
Sorry, something went wrong.
Comment by Smile4ever Tuesday Apr 17, 2018 at 21:28 GMT
I have been working on this, but it's not that easy. I will postphone it for now. A pull request is always welcome.
I have decided to split up the default settings from the user settings. This work will be available in version 5.0.
No branches or pull requests
Issue by perdolka
Wednesday Jan 17, 2018 at 14:20 GMT
Highlight user settings by a different color.
Example:
The text was updated successfully, but these errors were encountered: