3 ms·

Definitely worth filing a bug in bugzilla if they are not on the right virtual desktop... it might take years to get fixed, but they do generally get round to i

by stuaxo 10y ago

Definitely worth filing a bug in bugzilla if they are not on the right virtual desktop... it might take years to get fixed, but they do generally get round to it.

labster 10y ago
Or generations, you know? https://news.ycombinator.com/item?id=11951413 https://news.ycombinator.com/item?id=11951413
glandium 10y ago
There already is a 10 years old bug about the issue: https://bugzilla.mozilla.org/show_bug.cgi?id=372650 https://bugzilla.mozilla.org/show_bug.cgi?id=372650