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

nav bar outline won't disappear when 'help' overlay is enabled #2045

Open
adsick opened this issue Feb 12, 2023 · 1 comment
Open

nav bar outline won't disappear when 'help' overlay is enabled #2045

adsick opened this issue Feb 12, 2023 · 1 comment
Labels
A-frontend Area: Web frontend C-bug Category: This is a bug

Comments

@adsick
Copy link

adsick commented Feb 12, 2023

image
(see that transparent grey bar on top of words "Keyboard Shortcuts" and "Search Tricks")

@syphar syphar added C-bug Category: This is a bug A-frontend Area: Web frontend labels Aug 2, 2023
@syphar
Copy link
Member

syphar commented Aug 2, 2023

@adsick sorry for the delay,

when I check a current build, the window looks like:

grafik

When checking the releases for regex-automata, I can reproduce the layout problem with version 0.2.0, while it works again starting with 0.3.0.

We are planning to rebuild older releases: #464
which would solve this problem, though the current plan would be to start just with the /latest/ release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-frontend Area: Web frontend C-bug Category: This is a bug
Projects
None yet
Development

No branches or pull requests

2 participants