Browsers zonder pull-to-refresh voor iOS en iPadOS

Apple heeft bedacht dat het een uitstekend idee is dat je door vanaf de bovenkant van een pagina verder naar beneden te ‘trekken’, de betreffende pagina ververst wordt. Pull-to-refresh dus. Klinkt lollig? Niet als je bedenkt dat deze truc ook via een muis werkt. Alleen volstaat dan het nét iets te ver naar boven doorscrollen met het muiswieltje, ofwel: de kans dat ’t per ongeluk gebeurt is meer dan levensgroot. En dat leidt tot diverse klagers. 

Denk aan mensen die via een CMS als Wordpress een nieuw bericht plaatsen. Scroll je te ver naar boven, dan wordt de pagina ververst en is alles wat je getikt heb weg. In dat geval is het hopen dat de automatische back-up niet te lang geleden heeft plaatsgevonden en het grootste deel van je tekst en overige zaken als concept is terug te vinden. Anders is het uithuilen en opnieuw beginnen.

Andere wegen naar Rome

Als professional (en meer serieuze hobbyist) zit je vanzelfsprekend niet op een onzekerheidsfactor veroorzaakt door een gimmick te wachten. Helaas heeft Apple in z’n oneindige wijsheid óók besloten dat deze ‘feature’ niet uitschakelbaar is voor Safari. 

Gelukkig zijn er alternatieve browsers voor iPadOS (en iOS) beschikbaar die geen last hebben van deze opgedrongen pull-to-refresh. Overigens geldt er altijd een beperking onder iOS en iPadOS: alternatieve browsers moeten van Apple gebruikmaken van Webkit om pagina’s mee te renderen. An sich niks mee, maar het betekent wel dat bijvoorbeeld Chrome of Firefox geen gebruik maken van hun eigen systemen onder de motorkap. Wat voor- en nadelen kan hebben.

Voordeel is in ieder geval dat Webkit volledig geoptimaliseerd is voor de apparaten waarop het draait. Ofwel: snel en tegelijkertijd energiezuinig.

Brave

© PXimport

Brave is een bekende ‘alternatieve’ browser die niet alleen onder iOS en iPadOS geliefd is. Qua gebruikersinterface tref je er alle features die je maar kunt wensen in aan. Vooral de focus op privacy is prettig, je kunt niet gevolgd worden door adverteerders. Zoeken verloopt standaard via het anonieme DuckDuckGo, terwijl tabbladen standaard in de privacy-modus worden geopend. Dat alles doet niets af aan de snelheid van het geheel, dus daar hoef je je alvast geen zorgen om te maken. 

Verder beschikt het over tal van aardige extraatjes als het maken playlists gevuld met diverse media. Ook handig is de menuknop (bereikbaar via …) Create PDF, kun je in een stap – dus zonder tussenkomst van de afdruk-preview – direct een PDF-bestand van de geopende pagina maken. 

Om het gewraakte pull-to-refresh uit te zetten (wat in de meest recente versies van Brave standaard eveneens aan lijkt te staan) tik je op de knop met de drie puntjes, gevolgd door een tik op Settings. Zet vervolgens de schakelaar achter Enable Pull-to-refresh uit. Heb je daar voortaan geen last meer van!

Chrome

© PXimport

Google Chrome voor iPadOS heeft - op moment van schrijven - helemaal geen pull-to-refresh aan boord. Hoef je dus nergens bang voor te zijn wat dat betreft. Enig nadeel van Chrome is dat ’t door Google wordt geleverd, wat een notoire data-verzamelaar is. Gelukkig kun je bij de eerste keer dat je de app installeert dat gedrag uit zetten (in hoeverre dat gerespecteerd wordt is vanzelfsprekend altijd een beetje afwachten). 

Ook kun je de sync-optie beter uitlaten, eveneens uit privacy-overwegingen. Voor de rest is het een prima bruikbare browser. Qua settings is er eigenlijk niks voorhanden, je kunt dus weinig tweaken helaas. Wel mooi is de optie om via de …-knop rechtsboven in beeld en dan Geschiedenis heel precies je browsergeschiedenis te kunnen wissen. Per item, per tijdsbestek of gewoon alles. Dát zouden we graag in elke browser terugzien!

Edge

© PXimport

Edge van Microsoft is een wat ‘gecompliceerde’ browser. Want Edge beschikt onder de motorkap over de engine van Chrome. Alleen is dat dan onder iOS en iPadOS dus weer Webkit. Wat we wel – zeer tevreden – constateren is dat pull-to-refresh net als in de Chrome-browser ontbreekt. Ook geen opties om het aan te zetten. 

Verder valt op dat Edge over een stuk meer instellingsmogelijkheden beschikt als Chrome zelf. En dat in combinatie met de nauwkeurig tweakbare geschiedeniswisser, wat het een an sich interessante browser maakt. Minder geslaagd is dat we op de productpagina in de App Store zien dat er nogal wat gegevens met Microsoft uitgewisseld worden. Een deel daarvan (zoals browsergeschiedenis) is privacygevoelig. Bezint eer ge begint dus. 

Gebruik je Edge als standaardbrowser onder Windows, dan zou je kunnen overwegen om je aan te melden met dezelfde Microsoft-account als die je voor Windows gebruikt. Op zich lever je daarmee nog meer data af aan Microsoft, maar als je toch al Windows- én Edge-gebruiker bent maakt dat niet heel veel meer uit. 

Tot slot: standaard maakt Edge gebruik van Bing als zoekmachine, om Google te gebruiken dien je een andere standaard zoekmachine te selecteren in de instellingen.

Relatief beperkte keuze

Daarmee hebben we de echt interessante vervangers voor Safari wel zo’n beetje gehad. Veel alternatieve browsers die je verder nog aantreft in de App Store zijn van beroerde kwaliteit, en/of al jaren niet meer bijgehouden. Een deel van de alternatieven stamt uit China, waar je dan vaak niks aan hebt omdat de gebruikersinterface in het Chinees of steenkolen-Engels is (om vanzelfsprekend nog maar te zwijgen over de veiligheidsrisico’s die je ermee loopt). 

Een ander deel van de alternatievelingen is heel specifiek gericht op privacy, zoals Onion Browser. Heel mooi voor dat doel, maar door allerlei beperkende en versleutelende activiteiten niet echt geschikt voor bijvoorbeeld CMS-werk. Van de ‘grote vier’ Firefox, Chrome, Brave en Edge valt Firefox af door het ontbreken van de mogelijkheid om pull-to-refresh uit te zetten. Brave lijkt het meest voor de hand liggende en meest privacy-vriendelijke alternatief te zijn!