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

Hide sections #55

Merged

asl merged 2 commits into dev from hide-sections

Jun 12, 2022

Owner

asl commented Jun 11, 2022

No description provided.

asl added 2 commits

June 11, 2022 15:31


          Make sections collapsible

741b490


          Make BLAST widget optional

acce5dc

asl added the ui label

asl added this to the 0.9.6 milestone

asl merged commit 591c310 into dev

asl deleted the hide-sections branch

June 12, 2022 08:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ui