Skip to content

Conversation

@sinedied
Copy link
Member

Follow-up to #155.
Closes #124

@dvaJi Note that currently the navigation header has been replaced by a side menu as it was the initial target, but I have created a separate issue to propose your solution as an option: #157
Since you already did, it would be a shame to to include it, so I'll put it back when I find some time 😉

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants