Pinguinzubehör

Standardsuchmaschine in Firefox wird in einigen Ländern künftig nicht mehr Google sein. Dies verschafft der Mozilla Corporation höhere Unabhängigkeit, belegt jedoch auch den zunehmenden Bedeutungsverlust im Browsermarkt.

Firefox feiert seinen 10. Geburtstag, doch in den letzten Jahren musste er deutliche Marktanteile an den neuen Konkurrenten Chrome abgeben. Noch aber ist er der meistgenutze Browser – doch das gilt nicht für die dahinterstehende Technik. Weitgehend unbemerkt von den Internetnutzern ist der dritte Browserkrieg in vollem Gange.

Das Dock verdrängt allmählich die klassischen Taskleisten auf den Linux-Desktops. Noch sind die Oberflächen mit Taskleisten in der Überzahl, doch das Dock wird auch bei Linux immer beliebter.