Geoffrey De Belie

Oh, I didn't know that you could run this kind of code using userChrome.js. (not CSS, that's only for markup) To make it compatible, the following probably needs updating for...

@Keith94 Yes, indeed, I just tested and the native tab bar does the same. Is there a workaround or an option to get the behaviour I want?

@eoger I wonder whether that's the desired behaviour when wanting to move the tabs, not clicking on them.

I can reproduce this on Windows too.

Talked about in yesterdays triage meeting (2017-06-21) for WebExtensions. Agenda and outcome from the triage meeting (page 2, first item): https://docs.google.com/document/d/1s2j85VfYKTDftppFU-K7pgRs6sEuMTHVXqf3RL5iYvs/edit#heading=h.t2yykqfh2jii Experiment: https://github.com/RedHatter/tabstrip-experiment

Yes, that would be nice.

https://bugzilla.mozilla.org/show_bug.cgi?id=1446915 Extend topSites WebExtensions API with thumbnails

Would it be an option to include a simple checkbox to enable CORS, in case it doesn't work, using CORS anywhere?

I'm just saying the average user won't know about CORS and will blame the extension for non-working RSS functionality. I'm not expecting RSS website owners to set a * header...

* Per-hour charts (what hour is the most active hour in a day?) * Per-weekday charts (which day is the most active / productive?) * Download statistics