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

Small UI adjustments #541

Closed

5 tasks done

stefandesu opened this issue Feb 3, 2020 · 0 comments

Labels

cleanup low priority

Milestone

Member

stefandesu commented Feb 3, 2020 •

edited

Loading

Space between info icon and edit icon in Mapping Browser.
Space between star and notation in Scheme Selection.
Top/bottom margins in Concept Detail.
Move name of creator in Mapping Editor down a little.
Move alert in Mapping Editor to the bottom left.

stefandesu added cleanup low priority labels

stefandesu added this to the 1.3.1 milestone

stefandesu mentioned this issue

Move util to a separate package #543

Closed

stefandesu added a commit that referenced this issue


          Small UI adjustments (#541)

bd250fd

stefandesu closed this as completed

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