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

Make overlay height configurable #148

Closed
3 tasks done
tuzmusic opened this issue Jun 29, 2022 · 3 comments
Closed
3 tasks done

Make overlay height configurable #148

tuzmusic opened this issue Jun 29, 2022 · 3 comments

Comments

@tuzmusic
Copy link

Is your feature request related to a problem? Please describe.

It's a little distracting to have the screen split evenly between the overlay and the application. Also if there are a lot of errors reported, the smaller real estate means way more scrolling.

Describe the solution you'd like

Somewhere in the plugin config it would be great to at least be able to set the height (or max height?) for the overlay.

Describe alternatives you've considered

I've edited the style for .window.svelte-zrwou in the browser, which works, but I can't get it to work in my React application. I tried adding an explicit style tag in index.html under the title tag, with no luck.

Additional context

No response

Validations

  • Read the docs.
  • Read the Contributing Guidelines.
  • Check that there isn't already an issue that asks for the same feature to avoid creating a duplicate.
@409380713
Copy link

+1

@tuzmusic
Copy link
Author

tuzmusic commented Jul 5, 2022

@fi3ework thanks for addressing this! Do you if GitHub will send an additional alert when this is included in a release? I just bumped to 0.4.7 but panelStyle isn't in there yet.

@fi3ework
Copy link
Owner

fi3ework commented Jul 5, 2022

@tuzmusic just released 0.4.8, the PR is included.

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

No branches or pull requests

3 participants