Skip to content
Discussion options

You must be logged in to vote

I think someone else also reported this; unfortunately, it's a Firefox issue, as our borders are actually contained within the window so Firefox is incorrectly accounting for the window's border_width property when laying out its window. The only likely workaround is setting borderWidth in your config to 0 and using e.g. a statusbar to track focus.

Replies: 4 comments

Comment options

twiclo
May 9, 2025
Author Sponsor

You must be logged in to vote
0 replies
Comment options

twiclo
May 9, 2025
Author Sponsor

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Answer selected by twiclo
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants