stonecrusher

Oh no, my last post is gone somehow. The short version: I don't know how to inspect that options iframe. Just doesn't work here :-/ I downloaded and unpacked some...

Aah, good old debugging. I never think about it. Should have known. Works, thanks! > The biggest issue I'm seeing is that there's no standard when it comes to the...

> Painting with too broad of a stroke is only going to cause a lot more problems I think. In general, yes. Although I thought all those things should be...

So I did a lot of testing and came up with following questions: You can't distinguish between internal and external (opened in new tab) options? Without using the specific style...

> Sorry I didn't have time to look at it yet, but I'm about to dive into a bit more. Don't worry, take your time. I'm happy you like my...

Windows 8.1 Windows 7 in VM Linux MINT in VM I usually test with 8.1 because it's most similar to Windows 10 which is the most used OS

Trying to fix the colour of `option` elements I came across some firefox bugs: - If you don't use `-moz-appearance: none` you can't change the [background color](https://bugzilla.mozilla.org/show_bug.cgi?id=558612) in [every situation](https://bugzilla.mozilla.org/show_bug.cgi?id=910022)...

Sorry, didn't have time to think about it and test it yet. Maybe tonight. Weather is awesome here in Europe

So, I was messing around a bit with the new code. Good idea putting in sections for popups and codemirror! At the moment I have the problem that it is...

@opes Actually it already is integrated. You need to add the UUIDs of your extensions to the `generic_style.css`. Or you can try my "true generic" [solution](https://pastebin.com/ytFN9Yhk) which saves you the...