Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[VarDumper] Add search keyboard shortcuts #21238

New issue

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

Merged
merged 1 commit into from
Jan 15, 2017
Merged

[VarDumper] Add search keyboard shortcuts #21238

merged 1 commit into from
Jan 15, 2017

Conversation

ogizanagi
Copy link
Contributor

@ogizanagi ogizanagi commented Jan 11, 2017

Q A
Branch? master
Bug fix? no
New feature? yes
BC breaks? no
Deprecations? no
Tests pass? yes
Fixed tickets #21174
License MIT
Doc PR Worth to mention?

So, this PR simply adds the following shortcuts to navigate between matches, based on main browsers conventions:

  • CTRL/CMD + (shift* +) G
  • (shift* +) ENTER
  • (shift* +) F3

* shift allows to go backwards

At first, I wanted to add a help box somewhere, but:

  • I don't know where to place it. As the var dumper is now used everywhere in the profiler, it should not be importune and should work in narrowed places.
  • We use those shortcuts in order to replicate the main softwares/browsers behavior. So we may not need it at all.

This PR also fixes a minor issue where pressing a key not changing the input would have restarted the search query.

@fabpot
Copy link
Member

fabpot commented Jan 12, 2017

👍

@chalasr
Copy link
Member

chalasr commented Jan 14, 2017

Tried it out, 👍

Status: reviewed

@fabpot
Copy link
Member

fabpot commented Jan 15, 2017

Thank you @ogizanagi.

@fabpot fabpot merged commit 58fe431 into symfony:master Jan 15, 2017
fabpot added a commit that referenced this pull request Jan 15, 2017
This PR was merged into the 3.3-dev branch.

Discussion
----------

[VarDumper] Add search keyboard shortcuts

| Q             | A
| ------------- | ---
| Branch?       | master
| Bug fix?      | no
| New feature?  | yes
| BC breaks?    | no
| Deprecations? | no
| Tests pass?   | yes
| Fixed tickets | #21174
| License       | MIT
| Doc PR        | Worth to mention?

So, this PR simply adds the following shortcuts to navigate between matches, based on main browsers conventions:

- <kbd>CTRL/CMD</kbd> + (<kbd>shift</kbd>* +) <kbd>G</kbd>
- (<kbd>shift</kbd>* +) <kbd>ENTER</kbd>
- (<kbd>shift</kbd>* +) <kbd>F3</kbd>

_* <kbd>shift</kbd> allows to go backwards_

At first, I wanted to add a help box somewhere, but:
- I don't know where to place it. As the var dumper is now used everywhere in the profiler, it should not be importune and should work in narrowed places.
- We use those shortcuts in order to replicate the main softwares/browsers behavior. So we may not need it at all.

This PR also fixes a minor issue where pressing a key not changing the input would have restarted the search query.

Commits
-------

58fe431 [VarDumper] Add search keyboard shortcuts
@ogizanagi ogizanagi deleted the feature/html_dumper_search_shortcuts branch January 17, 2017 08:03
@fabpot fabpot mentioned this pull request May 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants