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

Show coordinate on hover #117

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Show coordinate on hover #117

wants to merge 1 commit into from

Conversation

cmyr
Copy link
Member

@cmyr cmyr commented May 26, 2020

This is a bit of an experiment in implementing a global setting; it can be turned on and off from the View menu.
2020-05-26 14 44 57

@github-actions
Copy link

🗜 Bloat check ⚖️

Comparing 07cc53f against 13c9c70

target old size new size difference
target/release/runebender 4.03 MB 4.07 MB 38.66 KB (0.94%)
target/debug/runebender 22.07 MB 22.15 MB 76.95 KB (0.34%)

@cmyr cmyr force-pushed the coordinate-on-hover branch from 446ba2c to 51e09a1 Compare June 9, 2020 13:50
@github-actions
Copy link

github-actions bot commented Jun 9, 2020

🗜 Bloat check ⚖️

Comparing 8ceece0 against 7b366bd

target old size new size difference
target/release/runebender 4.15 MB 4.18 MB 35.22 KB (0.83%)
target/debug/runebender 22.95 MB 23.01 MB 57.51 KB (0.24%)

@davelab6
Copy link
Contributor

@cmyr I think this can be useful, when do you think it can be merged?

@cmyr
Copy link
Member Author

cmyr commented Mar 15, 2021

@davelab6 this is pretty stale at this point, but it could be cleaned up. At the time it didn't feel like it had quite enough polish to justify inclusion.

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.

2 participants