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

enhance(zotero): polish UI details of the zotero search component #10011

Merged
merged 1 commit into from Aug 15, 2023
Merged

enhance(zotero): polish UI details of the zotero search component #10011

merged 1 commit into from Aug 15, 2023

Conversation

xyhp915
Copy link
Collaborator

@xyhp915 xyhp915 commented Aug 9, 2023 •
edited

@github-actions github-actions bot added the :type/enhancement Enhancement to product. Does not affect the overall basic use. label Aug 9, 2023
@tiensonqin tiensonqin merged commit 1d7b6c9 into master Aug 15, 2023
3 checks passed
@tiensonqin tiensonqin deleted the enhance/zotero-search branch August 15, 2023 05:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tiensonqin tiensonqin tiensonqin approved these changes

@andelf andelf Awaiting requested review from andelf

Assignees
No one assigned
Labels
:type/enhancement Enhancement to product. Does not affect the overall basic use.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

zotero search box too large
2 participants
@xyhp915 @tiensonqin