Hoofd Firefox Firefox krijgt een verbeterde gebruikersinterface voor bladwijzers

Firefox krijgt een verbeterde gebruikersinterface voor bladwijzers



Met de komende releases, krijgt Mozilla Firefox een verfijnde gebruikersinterface voor bladwijzers. Ontwikkelaars van Mozilla werken eraan om het logischer en gebruiksvriendelijker te maken voor de eindgebruiker. Dit heeft invloed op het gedrag van de 'ster'-knop en het uiterlijk van het bladwijzermenu in de browser.

In de momenteel uitgebrachte Firefox-versies, wanneer de gebruiker op de sterknop in de adresbalk klikt, plaatst de browser een bladwijzer voor het geopende webadres en plaatst de aangemaakte bladwijzer in de map 'Ongesorteerde bladwijzers'. Soms is het moeilijk om het daar later terug te vinden, vooral als u de map 'Ongesorteerde bladwijzers' nooit hebt beheerd. Het kan snel rommelig worden met een heleboel bladwijzers.

woorden doorstrepen in onenigheid

Mozilla-ontwikkelaars gaan dit veranderen en het gedrag van bladwijzers verbeteren. Beginnend met Firefox 48, gaan ze de naam van niet-gesorteerde bladwijzers wijzigen in 'Andere bladwijzers'. Ze beschouwen de nieuwe naam als logischer voor deze map.

Wanneer u een bladwijzer voor een pagina maakt, zal de browser ook expliciet vragen in welke map de nieuwe bladwijzer moet worden geplaatst:Firefox recente bladwijzers

Met Firefox 49 bevat het bladwijzermenu 5 recente bladwijzers, waardoor ze gemakkelijk te herkennen zijn.


Voor degenen die deze wijziging niet leuk zullen vinden, is er een optie om deze recente bladwijzers uit het menu te verbergen.

Hoewel deze opties de manier waarop de gebruiker omgaat met bladwijzers niet veranderen, kunnen ze ze wel nuttiger en gebruiksvriendelijker maken. Wat is uw mening over deze wijzigingen? Vindt u ze nuttig, vooral de functie met een recent bladwijzer?

Interessante Artikelen

Editor'S Choice

Wijzig of schakel toastmeldingsgeluid uit in Windows 10
Wijzig of schakel toastmeldingsgeluid uit in Windows 10
Wanneer Windows 10 een melding toont, bijv. wanneer u uw Defender-handtekeningen moet bijwerken of een actie moet uitvoeren met betrekking tot systeemonderhoud, wordt er standaard een geluid afgespeeld.
Zoeken op de pagina ‘Nieuw tabblad’ in Google Chrome uitschakelen
Zoeken op de pagina ‘Nieuw tabblad’ in Google Chrome uitschakelen
Bepaalde versies van Google Chrome voor Windows en Android hebben onlangs een bijgewerkte 'Nieuw tabblad'-pagina uitgerold met een prominent Google-zoekvak op de pagina. Google beweert dat ze deze wijziging hebben aangebracht omdat gebruikers niet ontdekten dat ze vanuit de adresbalk konden zoeken en nog steeds naar
Hoe vaak worden PokéStops vernieuwd in Pokemon Go?
Hoe vaak worden PokéStops vernieuwd in Pokemon Go?
Het gebruik van PokéStops in Pokémon GO is een favoriet tijdverdrijf van veel Trainers. Het zijn geweldige bronnen van items en XP. Maar niet iedereen heeft geluk met drops of komt zoveel PokéStops tegen als ze zouden willen.
Een Nintendo Switch opsturen voor reparatie
Een Nintendo Switch opsturen voor reparatie
Hoewel Nintendo-producten bekend staan ​​als zeer robuuste apparaten, kan het onverwachte altijd gebeuren. Een kapotte Nintendo Switch hebben is nooit ideaal. Als Nintendo-servicecentra om welke reden dan ook gesloten zijn en fysieke winkels niet beschikbaar zijn,
Hoe te gebruiken onder ons Proximity Chat
Hoe te gebruiken onder ons Proximity Chat
In Among Us is communicatie cruciaal om te winnen, vooral als je een Crewmate bent. Bedriegers kunnen meestal indrukwekkende overwinningen behalen door alleen te werken, maar bemanningsleden moeten zoveel mogelijk kunnen communiceren om te scoren
Hoe Google Maps Voice te repareren werkt niet
Hoe Google Maps Voice te repareren werkt niet
Google Maps is een van de populairste gps-apps, mede dankzij de spraakfunctie. In plaats van naar het scherm te draaien om uw locatie te controleren, kunt u zich concentreren op de omgeving en u laten leiden door de stem. Echter,
Kan Disney Plus worden gedeeld met familie of vrienden?
Kan Disney Plus worden gedeeld met familie of vrienden?
Het is de gouden eeuw van streaming. Disney Plus heeft ons vereerd met nieuwe inhoud en hun klassieke dingen. De concurrentie laait op, wat onder andere de voordelen van het delen van accounts zeker bevordert. Natuurlijk moet je betalen