Could this be a bug? Maybe separators?
Closed this issue · 1 comments
Minibus93 commented
When opening a certain amount of tabs (12 in my case) on the right most one this black bar appears. Could this be due WaveFox?
WaveFox v1.7.132
Firefox 132.0.1
Windows 11 23H2
// WaveFox entries
user_pref("userChrome.Tabs.Option7.Enabled", true);
user_pref("userChrome.DarkTheme.Tabs.Borders.Enabled", true);
user_pref("userChrome.DarkTheme.Tabs.Shadows.Saturation.VeryHigh.Enabled", true);
user_pref("userChrome.TabSeparators.Saturation.Medium.Enabled", true);
On a side note, thanks for all the effort you put in making WaveFox so great! <3
QNetITQ commented
This is due to a rounding error in fractional numbers. I've looked into this issue and have concluded that it's due to the tab counter. It takes up a non-whole number of the tab bar width. This causes tabs to fail to calculate their padding correctly in some cases. I fixed this in v1.7.133. It seems that this bug is no longer reproducible, although this remains to be tested.