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

Add a sourcemap and disable sourcemap button #115

Closed
connor4312 opened this issue Jun 15, 2022 · 3 comments
Closed

Add a sourcemap and disable sourcemap button #115

connor4312 opened this issue Jun 15, 2022 · 3 comments
Assignees
@miguelsolorio
Labels
icon request
Milestone
June 2022

Comments

@connor4312
Copy link
Member

Is your icon request related to a problem? Please describe.

In JS debug, we added new functionality to disable and re-enable sourcemaps. (Posted in the #ux channel)

Describe the solution you'd like

Having a "map" and "disable map" icon

Describe alternatives you've considered

We use the compass icon today, but a map would be more explicit.
@miguelsolorio
Copy link

we could alternate between two icons?

CleanShot 2022-06-15 at 15 49 16@2x

@connor4312
Copy link
Member Author

That could work!

@miguelsolorio miguelsolorio added this to the June 2022 milestone Jun 17, 2022
@miguelsolorio
Copy link

Added these two

CleanShot 2022-06-17 at 11 53 22@2x

miguelsolorio pushed a commit that referenced this issue Jun 17, 2022
Make map icons larger (Ref #115)
8bbf38c
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@miguelsolorio miguelsolorio

Labels
icon request
Projects
None yet
Milestone
June 2022
Development

No branches or pull requests
2 participants
@connor4312 @miguelsolorio