Robin Thomas

Results 195 comments of Robin Thomas

The problem with touch is, that I don't know how to detect if the user wants to perform a gesture or if the user wants to scroll, select some text...

I have to admit, that I don't really like that approach. Performing a gesture with 3 fingers seems strange to me, especially if the gesture is a little bit more...

ChromePie looks nice. This would be cool for another separated add-on. I already thought about making a Pie Menu add-on. But there already exists one (https://addons.mozilla.org/en-US/firefox/addon/easygestures-n/). I don't know how...

@hmmwhatsthisdo The problem in this case is not technical, my problem is how it should work in principle. Because every touch action I can imagine that could be used as...

You will laugh. I'm able to open nearly every website on the internet, but not about:addons, or about:debugging (also called privileged urls). But it should be possible in the future...

Hey, since this would be a quite complicated thing I would rather wait for this API to be implemented https://bugzilla.mozilla.org/show_bug.cgi?id=1261339

@asdgfd > browser.downloads.download This would only download the target html document. However if you press ctrl + s you can choose to save the whole webpage with all it dependent...

> However, if you include the saveAs option set to True in browser.downloads.download, [...] allows you to pick between complete, html only, and text in the bottom-most option dropdown box...

> Yet another Mozilla's paranoia attack? Your guess is quite right: https://stackoverflow.com/questions/47622435/firefox-content-script-not-loading-in-some-pages/47705529 It's a long known problem, but they plan to fix it.

The related bugs are: https://bugzilla.mozilla.org/show_bug.cgi?id=1267027 https://bugzilla.mozilla.org/show_bug.cgi?id=1411641