Extensies
Naar navigatie springen
Naar zoeken springen
Mozilla kan je uitbreiden met extensies. Deze extensies kunnen op alle lagen in Mozilla worden ingebouwd. Of het nu een extensie gaat om een extra werkbalk te maken of om een extra onderdeel in een menu dat weer toegang geeft tot extra functionaliteit. Ook kan het een manier zijn om bepaalde instellingen eenvoudiger te wijzigen. De mogelijkheden zijn dus vrijwel eindeloos als het op Mozilla-extensies aankomt.
Iedere Mozilla-gebruiker heeft zo zijn/haar eigen favoriete extensies. Iedereen zal voor zichzelf moeten uitvinden wat handige extensies zijn. Maar we kunnen je wel alvast een beetje op weg helpen:
- AdBlock (voor het geavanceerd blokkeren van advertenties)
- GoogleToolbar (de bekende zoekbalk van Google in jouw Mozilla-browser)
- RSS Reader Panel (altijd op de hoogte van het laatste nieuws op websites)
- MouseGestures (via muisbewegingen acties uitvoeren in Mozilla)
- Multizilla (zij gaven Mozilla tabbed browsing en hebben dit zelf nog veel verder ontwikkeld)
- Preferential (eenvoudig toegang tot veel Mozilla-instellingen)
- TabbedBrowserExtensions (biedt allerlei handige uitbreidingen voor tabbed browsing)
- WebDeveloperToolbar (niet alleen handig voor ontwikkelaars)
- Paste & Go (alternatieve en snellere manier voor het 'plakken', bijvoorbeeld van url's en mailadressen)
- MozEdit (een geavanceerde tekst-editor die in Firefox of Mozilla is ge?ntegreerd)
- QuickNote (even snel een aantekening maken vanuit de browser)
Extensie-sites Sites waar je extensies kunt vinden:
- MozDev.org
- Pagina over extensies op Firefox Help-site
- ExtensionRoom (hier staan per applicatie (MozillaFirefox, MozillaThunderbird, Mozilla alle extensies vermeld)