Met name bezitters van een iPad hebben er sinds de komst van iPadOS 15 een ergernisje bij: pull-to-refresh in Safari. Vooral in combinatie met een muis raak je daardoor nogal eens content op een in de cloud draaiende dienst kwijt. Tijd dus voor een alternatief! We stellen enkele browsers zonder pull-to-refresh aan je voor.

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!

Wie in Excel een contactlijst opstelt, merkt al snel dat de kolom met telefoonnummers zich niet altijd gedraagt zoals gehoopt. Zo verdwijnt de eerste 0 vaak vanzelf, waardoor de nummers minder bruikbaar worden. En dan hebben we het nog niet eens over de verwarring die kan ontstaan bij internationale telefoonnummers.

Telefoonnummers die beginnen met nul

Selecteer de cel met het telefoonnummer en ga naar het tabblad Start. Klik bij het onderdeel Getal op het kleine pijltje rechtsonder. In het dialoogvenster Cellen opmaken kies je in de linkerkolom Speciaal en daarna bij Type de optie Telefoonnummer. Let wel: deze optie verschijnt alleen als onderaan bij Locatie de optie Nederlands (standaard) is geselecteerd. Voor Belgische gebruikers geldt dat wanneer hier Locatie: Nederlands (België) staat, de optie Telefoonnummer niet beschikbaar is. Zij moeten dus de locatie wijzigen. Vanaf dan worden ook de voorloopnullen correct weergegeven.

Telefoonnummers formatteren

Wil je alle telefoonnummers op een vaste manier weergeven, bijvoorbeeld als (06) 1234 56 78, 06-1234 78 78 of 06 1234 56 78? Dat kan eenvoudig via het dialoogvenster Cellen opmaken. Kies eerst, zoals hierboven beschreven, de optie Telefoonnummer. Klik daarna links op Aangepast. In het vak Type verschijnt een standaardnotatie met hekjes, zoals 0#########. Deze kun je aanpassen naar een eigen indeling. Enkele voorbeelden: (0#) #### ## ## geeft (06) 1234 56 78,0#-#### ## ## geeft 06-1234 78 78 en 0# #### ## ## geeft 06 1234 56 78. Met de knop Opmaak kopiëren/plakken (het kwastje) kun je deze aangepaste weergave vervolgens toepassen op alle andere cellen. Let op, dit is puur een weergave. Excel behandelt de telefoonnummers nog steeds als getallen. Spaties, haakjes of streepjes maken dus geen deel uit van de waarde zelf. Dat betekent dat berekeningen ermee niet beïnvloed worden, maar dat je bij export of gebruik in andere programma's alleen de kale cijfers terugziet.

Internationale nummers

Bij internationale nummers wordt het landnummer voorafgegaan door het plusteken. Dat plusteken is betrouwbaarder dan een dubbele nul, omdat het internationale toegangsnummer niet in alle landen hetzelfde is. Ook deze weergave stel je in via Aangepast, met behulp van hekjes (#). Zorg ervoor dat je precies evenveel hekjes invult als het telefoonnummer cijfers telt. Vervolgens kun je de gewenste opmaak toevoegen door het plusteken en de spaties in de notatie op te nemen. Bijvoorbeeld +32 # ### ## ## geeft +32 3 456 78 90 en +31 # #### #### geeft +31 6 1234 5678.

In navolging van eerdere berichtgeving heeft ook toonaangevende nieuwswebsite Bloomberg geopperd dat Sony overweegt om de PlayStation 6 intern uit te stellen.

In het artikel wordt gemeld dat Sony zou overwegen om de PlayStation 6 pas in 2028 of 2029 uit te brengen. Dit terwijl Sony zelf in eerste intentie zou hebben gemikt op 2027. "Sony Group Corp overweegt nu om de release van zijn volgende PlayStation-console uit te stellen naar 2028 of zelfs 2029."

Vorige maand claimde MST Financial-analist David Gibson ook al dat Sony de PlayStation 5-levenscyclus wil verlengen en de console pas ergens na 2028 uit te willen brengen. Sony zelf heeft echter nog niet op de geruchten gereageerd - het bedrijf heeft de PlayStation 6 nog niet eens officieel aangekondigd, laat staan een publiekelijke releasedatum genoemd.

Reden voor vertraging

Zoals gemeld zou de voornaamste reden voor een eventuele vertraging alsmaar stijgende prijzen voor en tekorten van geheugen zijn. Prijzen van RAM (Random Access Memory) stijgen alsmaar doordat er massaal RAM nodig is om het alsmaar populairder wordende AI werkende te houden. RAM is echter nodig in spelcomputers.

De theorie is dat bedrijven zoals Sony hun plannen voor nieuwe consoles uitstellen, omdat de prijzen voor RAM zo hoog liggen. Dat zou immers betekenen dat men ook hogere prijzen voor nieuwe consoles moet vragen, en dat zou eventueel een negatief effect op het succes van deze consoles kunnen hebben. Ook zouden tekorten aan RAM roet in het eten kunnen gooien.

Vooralsnog is echter nog niets bevestigd. Volgens eerdere geruchten wil Sony niet alleen de PlayStation 6 uitbrengen, maar ook een handheldversie om PS6- en PS5-games op te spelen. Zoals gezegd is de PS6 nog niet officieel aangekondigd, dus bevestigd is dit nog niet.

Onlangs schreven we een column over waarom het helemaal geen ramp hoeft te zijn dat de PlayStation 6 nog een aantal jaar op zich laat wachten.

Effecten op andere consoles

Overigens kan de situatie rondom RAM ook effect hebben op consoles van andere bedrijven. De prijzen van bestaande consoles gaan zo nu en dan ook omhoog - in plaats van dat ze omlaag gaan, zoals traditioneel gezien gebeurt - en volgens het Bloomberg-artikel overweegt Nintendo de prijs van de Switch 2 ook omhoog te gooien. Nintendo liet onlangs bij het bekendmaken van diens kwartaalcijfers al weten de RAM-situatie nauwlettend in de gaten te houden.