Skip to content
This repository was archived by the owner on Jun 26, 2020. It is now read-only.

[chrome] hide highlight when switching devtools tab#116

Merged
jaredly merged 1 commit intodevtools-nextfrom
chrome-hide-highlight
Aug 5, 2015
Merged

[chrome] hide highlight when switching devtools tab#116
jaredly merged 1 commit intodevtools-nextfrom
chrome-hide-highlight

Conversation

@jaredly
Copy link
Copy Markdown
Contributor

@jaredly jaredly commented Aug 4, 2015

The Elements pane will hide its highlight if you go to a different devtools tab, and I think that behavior makes more sense.

This is what happens w/ this PR:

chrome-highlight

@jaredly jaredly changed the title hide highlight when switching devtools tab [chrome] hide highlight when switching devtools tab Aug 4, 2015
Comment thread frontend/Store.js
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What does this line do?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It sends a message to the agent (living on the page) to hide the highlight

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Got it, of course. Does anything listen to the emit('hover')?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah -- here's the file used to connect a Highlighter to an Agent

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think you misread my question?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

oh yes! I totally did. No, nothing listens for hover at the moment. Would you rather I remove it?

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Either way. (accepted)

jaredly added a commit that referenced this pull request Aug 5, 2015
[chrome] hide highlight when switching devtools tab
@jaredly jaredly merged commit a23f3e6 into devtools-next Aug 5, 2015
@jaredly jaredly deleted the chrome-hide-highlight branch August 5, 2015 20:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants