Skip to content
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.

Sign up for GitHub

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

Jump to bottom

hotkey fixes and improvements #1243

Merged
merged 5 commits into from
Apr 11, 2016
Merged

hotkey fixes and improvements #1243

merged 5 commits into from
Apr 11, 2016

Conversation

foot
Copy link
Contributor

@foot foot commented Apr 7, 2016

Fixes #1228

foot added 4 commits April 7, 2016 14:01
@foot
Fixes url state decoding in Firefox.
f1c58ef
@foot
Fixes hotkeys in firefox and all browsers + international keyboards.
c452b68
@foot
Adds a shortcut panel!
0a9f26b
@foot
Adds '?' to shortcuts
a90b8f6 
- Fixes '?' after using the terminal
- Fixes <kbd> styling, border-radius was behaving strangley w/ transform
  to center the overlay, so opted for more old school methods.
@foot
Copy link
Contributor Author

foot commented Apr 11, 2016

@davkal rfr

@davkal
Copy link
Contributor

davkal commented Apr 11, 2016

Works well, LGTM

@davkal davkal assigned foot and unassigned davkal Apr 11, 2016
@foot foot merged commit eb75909 into master Apr 11, 2016
@foot foot deleted the 1228-hotkey-improvements branch April 11, 2016 09:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@foot foot

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@foot @davkal