Because to put a build in F-Droid you need to write a build script to build the whole app from source on F-Droid’s VMs. You can’t, for example, fetch binary dependencies from Maven. You need to build them from source as part of your build process.
Android Firefox fetches a bunch of stuff from Maven as part of its build, some of which is proprietary libraries from Google to e.g. talk to Google Play Services or to Google’s trusted-hardware stuff, and some of which is the whole Gecko C++ source tree. Mozilla doesn’t want to pay their people to maintain two separate build systems for Firefox, one of which has to jump through a bunch of hoops.
When will they fix their mobile version though? As much as I want to use Firefox as much as possible, some websites just refuse to open in mobile Firefox, or not work properly. I have even made a simple website with fixed element on the bottom of the page, and it jumps like crazy when scrolling for whatever reason.
I believe it’s because firefox’s UI is placed on the bottom of the screen per default. To account for that, I believe they adjust the viewport’s height to either exclude the bottom of the screen (when the symbol bar is displayed) or include it (when you scroll down and the symbol bar is hidden).
Because they use a slide-out animation based on scrolling within the web page, the viewport changes a million times in height and causes elements fixed to the bottom of the viewport to jump and adjust a lot, causing weird behavior. And nobody tests for that.
All of thse are my assumptions by the way, please test for yourself, I might well be wrong.
If it really bothers you, try placing the symbol bar above and see if it works. It’s in the settings.
My UI was actually on the top, and by changing settings it looks like it’s actually other way around. When UI is on the bottom the fixed element on page moves semi-smoothly (there is still a gap during animation), but when UI is on the top it is fucked up completely. When scrolling down the fixed element also scrolls down for a bit before appearing where it should be, and when scrolling up the reverse happens. So it looks like they didn’t account for that users actually use UI on the top and that it can affect fixed elements on the bottom of the page or it’s just bugged because they don’t test their stuff. I guess I need to send a bug report.
Writing from a privacy perspective remember, browser add-ons can potentially make it easier to fingerprint or recognize an individual. But still, I can’t help but love this new FF feature.
Idk why you’re being downvoted. I’ve tried Orion browser and it really does work. I assumed extensions like that would go against Apple’s App Store policies but they’ve seemed to make it works so far.
iirc apple doesn’t allow apps that are able to download and run extra code. I know this was the reason the game mindustry didn’t have mod support on iOS. I could be wrong tho
what’s wrong with webp? it’s a significantly more efficient file format (like 20% less file size for the same quality) and is supported everywhere by now. if anything, the default should be webp for image types that can be both lossy and losslessly compressed
I haven’t come across a single image or video editor that doesn’t support webp nowadays. I use paint.net, krita, aseprite, inkscape, ibis paint x, opentoonz, and davinci resolve, plus libreoffice if you count that, they all support importing/exporting and editing webp just as any other image file format. I’m pretty sure GIMP and Photoshop do too but I don’t use them so I can’t say for sure
I feel like a majority of people have to go out of their way to make webp an inconvenience in the modern day.
Besides, if it for some reason doesn’t work in a specific situation you need it you can just manually change the extension to “.jpeg” or “.png” and Windows/Linux/Android file managers will automatically convert it. But I can guess most people don’t actually face a situation like that.
When I take an image file and change its extension from webp to png it converts the binary data, so I imagine your OS’ default file manager would do that too. Maybe not tho.
What OS & version are you using that automatically converts file types when you change the filename via the default file manager interface? I have never heard of this function before.
this is my first android tablet. my first “internet tablet” was the n810, and i did’nt get an android until around 2018, unless you count the blackberry q20
My tablet is my laptop replacement so I tend to use it on the same way with a mouse and keyboard and want AC close to laptop functionality as possible, pretty much all other browsers have that functionality, except firefox.
For me It’s music discovery. Trying to find a particular net radio manually throughout the web that fills your criteria of music is obviously hard so this extension makes it easier to browse.
Other than that I use the browser for work and leisure so I end up browsing alot, since the browser is on most of the time I can turn on the radio and play faster from the extension instead of browsing to the dedicated website or swap to a different app for the same function. You can make the argument that a bookmark would work just as well but you can do it in the add-on too and make a library list of them that you can press the next button to change to a different one.
Add comment