Skip to content

Show more icons on the page in the icons dev tool.#4690

Merged
demiankatz merged 2 commits into
vufind-org:devfrom
demiankatz:icon-devtool-improvement
Oct 24, 2025
Merged

Show more icons on the page in the icons dev tool.#4690
demiankatz merged 2 commits into
vufind-org:devfrom
demiankatz:icon-devtool-improvement

Conversation

@demiankatz
Copy link
Copy Markdown
Member

I looked into extracting the dev tool improvements from #4031 into a separate PR, but I discovered that the changes there are actually quite different from what I was hoping for. My goal was to get as many icons on screen at once so that it would be easier to compare icon sets side by side; the changes in #4031 actually pad things out more and make it harder to get a "big picture" view. This PR implements the change I was hoping to see.

For comparison purposes, here are the different versions...

Current dev branch:
image

This PR:
image

PR #4031:
image

@demiankatz demiankatz requested a review from crhallberg October 6, 2025 16:36
@demiankatz demiankatz mentioned this pull request Oct 6, 2025
7 tasks
@demiankatz demiankatz added this to the 11.0 milestone Oct 24, 2025
@demiankatz demiankatz merged commit 7c0652b into vufind-org:dev Oct 24, 2025
6 checks passed
@demiankatz demiankatz deleted the icon-devtool-improvement branch October 24, 2025 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants