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.

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

Add new map-vertical and map-vertical-filled icons #241

Merged
merged 1 commit into from
Mar 20, 2024
Merged

Conversation

hbons
Copy link
Member

@hbons hbons commented Mar 20, 2024

Vertical variants of the map icon: map-vertical and map-vertical-filled.

Also add fold-* mappings and map-horizontal-* mappings to the original map for consistency.

image

Related: #238

@hbons hbons enabled auto-merge (rebase) March 20, 2024 14:43
@vscodenpa vscodenpa added this to the March 2024 milestone Mar 20, 2024
@hbons hbons requested a review from daviddossett March 20, 2024 14:44
@hbons hbons merged commit 24697d9 into main Mar 20, 2024
6 checks passed
@hbons hbons deleted the fold-icons branch March 20, 2024 15:12
@daviddossett
Copy link
Contributor

What are these for? I think the original map icon is intended for source maps or something. @connor4312 would know.

@connor4312
Copy link
Member

Source maps use the compass icon

@daviddossett
Copy link
Contributor

Ah, my bad. Hallucinating :D

@hbons
Copy link
Member Author

hbons commented Mar 21, 2024

Notebooks wants it, and the diff viewer uses it to toggle unchanged lines:

image

I thought it would be good to have a vertical version as it matches the direction. :)

@hbons
Copy link
Member Author

hbons commented Mar 21, 2024

@daviddossett we might want to use GitHub style collapse/expand icons in the future:
image
image

@daviddossett
Copy link
Contributor

That notebooks issue links to the run-in-section issue. Is that intended? Not sure how it relates to the regions toggle above. Agreed that the map icon doesn't convey the command very well though. I think something like the GH example would make more sense.

@hbons
Copy link
Member Author

hbons commented Mar 27, 2024

seems we have these already:
image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants