Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Option to disable lint tooltips #1402

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants
Contributor

mwdiaz commented Mar 28, 2013

Add a disableTooltips option for lintWith which, when set to true, will prevent the default mouseover event handlers from being created for both the gutter tooltips and the span tooltips in the editor itself.

Owner

marijnh commented Apr 2, 2013

Merged in slightly modified form (set tooltips to false instead of disableTooltips to true) as 9ed1a68

@marijnh marijnh closed this Apr 2, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment