-
Notifications
You must be signed in to change notification settings - Fork 266
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
Allow Dev Tools on Waiver and Preference Windows #245
Labels
enhancement
New feature or request
Comments
I'd be ok with it. We already have a shortcut for it on the main window "Ctrl + Shift + I", we could make it work everywhere |
araujoarthur0
added a commit
to araujoarthur0/time-to-leave
that referenced
this issue
May 31, 2020
araujoarthur0
added a commit
to araujoarthur0/time-to-leave
that referenced
this issue
May 31, 2020
araujoarthur0
added a commit
to araujoarthur0/time-to-leave
that referenced
this issue
May 31, 2020
araujoarthur0
added a commit
to araujoarthur0/time-to-leave
that referenced
this issue
Jun 3, 2020
You can close this now |
@araujoarthur0 a tip: If you write "Closes #XXX" on your PR text when opening it, the issue is automatically closed when it gets merged :) |
Oh, nice to know! |
Could we update the template with this? |
Just did on #264 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Describe the current limitation
Dev Tools doesn't open on waiver and preference windows => makes it harder to debug
Describe the proposed feature or enhancement
Using the suggestion presented here https://stackoverflow.com/a/37814569, I was able to trigger the opening of a dev tools on the waiver window. Perhaps we could either
What do you think?
The text was updated successfully, but these errors were encountered: