Skip to content

Sticky header#1208

Merged
dzhou121 merged 8 commits intomasterfrom
sticky_header
Sep 14, 2022
Merged

Sticky header#1208
dzhou121 merged 8 commits intomasterfrom
sticky_header

Conversation

@dzhou121
Copy link
Copy Markdown
Collaborator

No description provided.

@dzhou121 dzhou121 merged commit 77a46f8 into master Sep 14, 2022
@dzhou121 dzhou121 deleted the sticky_header branch September 14, 2022 18:35
@MinusGix MinusGix added A-ui Area: UI rendering and interactions A-editor Area: editor, modal editing labels Sep 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-editor Area: editor, modal editing A-ui Area: UI rendering and interactions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants