Suggestion: Add a tooltip to the toolbar button #2377

merged 3 commits into from Aug 2, 2016


None yet

3 participants


Ad #1868

The suggestion (for example).
It is necessary to test all options!

Thanks to jerone for contributing!

It's based on your code. I hope you don't mind :-)

jerone commented Mar 12, 2016

I hope you don't mind :-)

Sure. Hope this time it gets more interest.

@arantius arantius added this to the 3.9 milestone Aug 2, 2016
@arantius arantius merged commit 112c598 into greasemonkey:master Aug 2, 2016
@janekptacijarabaci janekptacijarabaci deleted the janekptacijarabaci:tooltip branch Aug 7, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment