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

[WIP] General UI improvements #13

Closed
wants to merge 16 commits into from
Closed

[WIP] General UI improvements #13

wants to merge 16 commits into from

Conversation

ellisonbg
Copy link
Contributor

I spent some time today building reusable layout components to help make the UI consistent and responsive. Still working on this, and have probably broken things in the meantime. Will continue tomorrow.

@welcome
Copy link

welcome bot commented Sep 18, 2022

Thanks for submitting your first pull request! You are awesome! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please make sure you followed the pull request template, as this will help us review your contribution more quickly.
welcome
You can meet the other Jovyans by joining our Discourse forum. There is also a intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branch jupyter-server/jupyter-scheduler/general-ui

This was referenced Sep 19, 2022
import { AvailableSizes } from '../size';

export interface IBoxProps {
size?: AvailableSizes;
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit (as seen in codebase / mentioned in reviews): should optional properties go last?

@dlqqq
Copy link
Collaborator

dlqqq commented Sep 21, 2022

Superseded by #25.

@dlqqq dlqqq closed this Sep 21, 2022
@dlqqq dlqqq deleted the general-ui branch February 24, 2023 22:08
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.

None yet

3 participants