Schlagwort-Archive: Opera

Was bisher geschah: Ein völlig bedeutungsloser, beliebiger Blogger, der sich die maximale Erfolglosigkeit auf die Fahne geschrieben hat, ist auf der Suche nach einem neuen Browser, über den er sich nicht permanent ärgern muss. Auf seiner abenteuerlichen Reise durch die Welt der Browser quält er sich unnötigerweise jahrelang mit einem großen Sicherheitsrisiko aus dem Hause Microsoft, dessen Namen wir hier aus Gründen nicht nennen wollen. Anschließend ging die Reise über den Underdog Opera zum einst wichtigsten Browsermarkt-Mitbewerber Mozilla Firefox. Doch auch der Firefox nervt inzwischen immer mehr, so dass dringend eine Alternative her muss.

In meiner wie erwartet erfolglosen Exkursion in die quelloffene Linuxwelt ergriff ich, wie zuvor berichtet, auch gleich die Gelegenheit, den Chromium-Browser Vivaldi zu testen. Das Benutzer-Interface gefiel mir eigentlich ganz gut, da es dem von Opera recht ähnelte. Im Endeffekt störte mich aber seine Nähe zum Google-Browser doch zu sehr. Denn die Addons sind weitestgehend dieselben wie die von Chrome, und seine Addons muss man dann auch aus dessen Chrome Web Store installieren, und dort regiert Google mit seiner egozentrischen Willkür. Beispielsweise wollte ich einen Video- und Audio-Downloader installieren, den ich heutzutage als Basisausstattung jedes Browsers betrachte. Solche gibt es (wie auch für andere Browser) dort wie Sand am Meer. Google interessiert es normalerweise nicht, von welchen Webseiten solche Downloader die Mediendateien abgreifen können – sofern es keine Google-Seiten betrifft. Und genau aus diesem Grund gibt es im Chrome Web Store (der dann auch für Vivaldi verbindlich ist) keinen einzigen YouTube-Downloader. Betroffene Addon-Entwickler entschuldigen sich in den Readme-Dateien ihrer Addons, dass sie YouTube explizit herausnehmen mussten, da sie ihr Addon sonst nicht hätten anbieten dürfen.

Nun mag man es Hausrecht nennen, oder einfach Willkür, denn YouTube ist auch nur eines von vielen Videoportalen, und keines der anderen wird von Google geschützt. Und darüber hinaus stört es mich, dass die Einschränkung dann auch für Vivaldi gilt, der ja kein Google-Browser ist, sondern nur ein Browser, der sich von Google die Addons diktieren lässt. Im Endeffekt hätte ich dann auch gleich Chrome nehmen können, aber so wenig Sinn für Datenschutz habe ich dann doch nicht, dass mir so etwas einfallen würde. Also bei welchem Browser bin ich denn jetzt eigentlich gelandet?

Es gibt mindestens zwei etablierte Firefox-Fork-Projekte, die sich für die Erhaltung der Kompatibilität zu Legacy-Addons und für maximale Anpassbarkeit des Browsers einsetzen: Wo Mozilla bereits fleißig auswürfelt, welches tolle Firefox-Feature in der nächsten Version grundlos gestrichen wird, wird in den Forks lieber an der Sicherheit und am Erhalt der größten Stärke von Firefox gearbeitet: Feature-Reichtum und einer bestmöglich anpassbaren Oberfläche. Mozilla eifert Google hinterher, indem es mehr und mehr „Ballast“ abwirft, damit ihr Browser im einstelligen Millisekundenbereich schneller wird, übersieht dabei aber, dass sie sich damit eigentlich selbst überflüssig machen. Sie übersehen, dass dieser Ballast der Grund ist, warum viele eingefleischte Fans heute noch auf Firefox setzen. Die Hausfrauen dieser Welt sind eh längst mit Chrome bzw. Internet Explorer, äh Pardon, Edge auf den Desktops, Tablets und Smartphones versorgt. Die wird man dadurch nicht überzeugen.

Eines dieser Projekte ist der Pale Moon. Sein Motto ist „Your browser, Your Way“. Und das spielt auf das heute immer häufigere Problem mit Software an, egal ob es das Betriebssystem, der Browser oder der Grafikkartentreiber ist. Egal ob du sie gekauft hast, ob sie auf deiner Hardware läuft, ob du sie selbst installiert hast. Die Software macht dich heute zum Zuschauer, zum Beifahrer, du darfst kaum noch etwas entscheiden. Software ist heute oftmals permanent mit der Herstellerfirma verbunden, sendet unkontrolliert Daten dorthin, wird darüber heimlich ferngesteuert, zum denkbar ungünstigsten Zeitpunkt aktualisiert, und du darfst froh sein, wenn sie dich noch die Farbe der Benutzeroberfläche oder den Installationspfad auswählen lassen. Beispiele dafür gibt es viele. Pale Moon wirft den ganzen Telemetrie- und Datensammeldreck von Mozilla raus, von dem alle so begeistert sind, wirft DRM über Bord (anstelle sinnvoller Features), und eine Reihe zweifelhafter Erweiterungen, für die Mozilla sich insgesamt in der Vergangenheit Kritik eingehandelt hat. Es mag sein, dass Mozilla irgendwann mal ein „Good Guy“ war, ist es aber längst nicht mehr.

Aber ich will jetzt nicht noch weiter vom Thema abkommen. Der Pale Moon Browser ist im Grunde ein Firefox-Ableger, der weiterhin die Sicherheits- und Stabilitätsupdates der neueren Firefox-Versionen bekommt, aber im Gegensatz dazu nicht dessen wichtigste ältere Features entfernt, geschweige denn mal eben die Kompatibilität zu den klassischen Addons verwirft. Klar, der Marktanteil dieses Browsers ist kaum der Rede wert, ist doch seine Zielgruppe ziemlich genau definiert: Open-Source-Freunde und technisch versierte Internetnutzer, denen Datenschutz wichtig genug ist, dass sie Mozillas schmierige Finger nicht mehr auf ihrem Rechner haben wollen, und sich von Mozilla auch nicht mehr vorschreiben lassen wollen, welche Browser-Features für sie relevant sind.

Pale Moon wird seit knapp neun Jahren entwickelt und erhält regelmäßige Updates. Ich bin von dem Browser bisher sehr begeistert, die Stabilität ist so wie ich sie erwarte – und ich kann nicht behaupten, dass ich Pale Moon bisher geschont hätte. Mein ganzes Addon-Paket läuft einwandfrei mit dem Programm, auch eine vierstellige Anzahl an Tabs stemmt er bisher mühelos. Allein, nach mehreren Tagen, wenn ich mal wieder zu viele YouTube-Tabs aktiv habe, verabschiedet er sich hin und wieder. Dann dauert der Neustart aber auch nur eine handvoll Sekunden, und die ganze Ladung an Tabs ist wieder da. Die Performance ist sicherlich messbar geringer als die von Chrome und Firefox, aber subjektiv macht das natürlich schon lange keinen Unterschied mehr. Ein weiteres Beispiel für einen solchen „mozilla-befreiten“ Firefox-Browser ist Waterfox. Welcher der beiden nun besser ist, und worin der Unterschied im Detail besteht, kann ich nicht beurteilen. Mit dem Pale Moon fahre ich im Moment wirklich gut, und ich hoffe, das kann jetzt erst einmal so bleiben. Ist das jetzt der tollste, beste, schnellste, coolste und schlauste Browser der Welt? Nein, ist es wahrscheinlich nicht. Aber es ist ein ehrlicher Browser.

Da bin ich mal wieder! Nach der dritten Novemberwoche bin ich leider (wie so oft) erkrankt, und erst seit etwa Mitte Februar richtig über den Berg. Inzwischen beginne ich wieder damit, meine alte Motivation – sowohl was die Webseite, als auch die Spieleentwicklung betrifft – wieder zu reanimieren. Letzteres hat in den vergangenen Tagen ganz gut funktioniert (dazu in einem folgenden Artikel mehr). Nun wird es Zeit für einen neuen Blog-Beitrag. In der Vergangenheit habe ich so einige Browser miterlebt und die meisten davon haben mich sogar jahrelang begleitet. Angefangen hat einmal alles mit dem Internet Explorer 3 und dem Netscape Navigator. Später war ich eine viel zu lange Zeit ein echter Internet Explorer 5 und 6 Purist. So lange, bis ich mir mit dem abscheulichen Mistding einen fiesen Trojaner eingefangen habe, der sich als JPG-Datei ausgegeben hat. Der IE hat nur allzu bereitwillig das Script ausgeführt, das sich dahinter verbarg, und dann einen Buffer Overflow im Windows Media Player verursacht. Mein Rechner war mehrere Tage lang Teil eines kleinen Botnetzes. Ab diesem Zeitpunkt war der schädliche Microsoft-Browser für mich verbrannt.

Ich wechselte zu Opera, der zu jener Zeit gerade erst Freeware geworden war. Das Konzept mehrerer gleichzeitig geöffneter Browsertabs faszinierte mich, und inzwischen bin ich ein echter Tab-Poweruser (oder wahlweise auch Tab-Messie). Bookmarks sind sinnlos geworden, wenn man einfach alles immer gleichzeitig geöffnet haben kann. Opera wechselte wiederum nach Jahren seine Entwicklungsstrategie und sattelte auf Chromium um. Diesen Schritt wollte ich nicht mitgehen, zumal ich kein Google-Fan bin. Ich hielt den Wechsel für keine gute Entscheidung, schon da sie das Alleinstellungsmerkmal ihrer grandiosen Browser-Engine damit über den Haufen geworfen haben. Aber auch ich musste zugeben, dass Opera mit sehr vielen gleichzeitig geöffneten Tabs nur begrenzt umgehen konnte. Hänger, Aussetzer und Neustarts waren die Folge. Der alte Opera hatte durchaus einige Performance-Probleme.

Der Firefox wurde vor einigen Jahren der neue Browser meiner Wahl, auch auf Grund der vielen tollen Addons. Nach relativ kurzer Zeit habe ich mir das perfekte Addon-Paket zusammengestellt, das alle meine Anforderungen erfüllt, den Browser bis ins Kleinste an mein Nutzerverhalten angepasst. Es gibt eine Tab-Baumstruktur, Tabgruppen, eine Schnellvorschau der Tabs, Mausgesten zum Navigieren, einen Session-Manager, ein Downloader für Video und Audio, NoScript, Adblocker, und noch ein paar mehr. Ohne diese Addons würde mir das Arbeiten mit dem Browser heute schnell zur Qual werden, was mir immer wieder auffällt, wenn ich mal an einem fremden Rechner sitze. Das Problem mit dem Firefox war anfangs, dass der Neustart bis zu 5 Minuten dauerte, da die Initialisierung einer solchen Vielzahl an Tabs leider nicht sehr effizient funktionierte. Schließlich, nach einem größeren Update, war das dann kein Problem mehr. Endlich werden geöffnete Tabs nicht mehr bei jedem Start vorgeladen, sondern nur noch als Referenz abgelegt, und erst bei Benutzung nachgeladen.

Der neue Firefox Quantum war sofort bei vielen Addon-Entwicklern und Profis unbeliebt, da sämtliche bewährten Addons auf einen Schlag inkompatibel wurden. Alle Addons mussten angepasst werden. Viele Entwickler konnten und wollten diesen Schritt einfach nicht mehr vollziehen. Einige Addons konnten nicht auf Firefox Quantum übertragen werden, da dieser nur noch eine eingeschränkte API lieferte. Mich selbst hätte das Thema kaum gestört, wenn da eine ablehnbare Update-Meldung gewesen wäre wie „Bei einem Update auf Firefox Quantum werden 12 Ihrer Addons unbenutzbar. Wollen Sie wirklich wechseln? JA/NEIN„. Stattdessen begrüßte mich eines morgens plötzlich der Firefox Quantum, der ohne zu fragen praktisch alle meine Addons ganz dreist rausgeworfen und sich auf meinem Rechner breitgemacht hatte wie ein Hausbesetzer. Ich hatte eigentlich lange vorher beschlossen, kein Update zu machen. Dass der Nutzer in seinen Wünschen völlig übergangen wird, gehört mittlerweile ohnehin zur Mozilla-Politik. Da werden auch schonmal heimlich per Ferninstallation irgendwelche gruseligen Werbe-Addons von wichtigen Werbepartnern in den Browser eingeschleust. Bei Mozilla hat sich vor Jahren die feste Überzeugung durchgesetzt, dass man ja viel besser weiß, was der Nutzer wirklich braucht, als der Nutzer selbst. Tab-Gruppen gehörten zum Beispiel nicht dazu. Darum muss man die heutzutage auch mit Addons wieder nachrüsten. Das ist ja so viel besser und sicherer.

Firefox Quantum flog bei mir so schnell wieder runter wie er gekommen war, unter anderem auch, weil er mir keinen Ersatz für so manches Addon anbieten konnte, auf das ich nicht verzichten wollte. Ein Update auf eine schlechtere Version kommt für mich nicht in Frage. Zum Glück habe ich irgendwo im Netz einen Installer für die letzte Prä-Quantum-Version gefunden (obwohl sich Mozilla große Mühe gibt, alte Versionen sofort aus dem gesamten Internet zu tilgen!). Jedenfalls gingen dann auch alle meine lebenswichtigen Addons wieder. Aber ewig auf einer alten, potentiell unsicheren Version von Firefox sitzenzubleiben, konnte ja schließlich keine Lösung sein. Außerdem ist das Vertrauen in Mozilla angesichts vergangener Fehlentscheidungen aus meiner Sicht lädiert. Wer braucht schon Menüs? Und wie lange dauert es wohl, bis das nächste wichtige Feature rausfliegt, oder wieder alle Addons per Dekret für nichtig erklärt werden? Ein anderer Browser musste her. Nur welcher?

Fortsetzung folgt…

Mein erster Internetbrowser war der Internet Explorer 3 oder 4, zwischenzeitlich wechselte ich auch für eine Weile zum Netscape Navigator, aber den IE verteidigte ich viele Jahre gegen Kritiker, die ihn für unbrauchbar hielten. Bis er mir im Jahr 2003 ein Rootkit installierte. Jemand im IRC sendete mir einen Link zu einer JPG-Datei – ein Spaßbild – wie ich sie schon tausend Mal zuvor im Browser geöffnet hatte. Doch diesmal verbarg sich dahinter ein Script für einen geplanten Pufferüberlauf im Windows Media Player, das der IE nur zu bereitwillig ausführte, obwohl die Endung die falsche war. Seitdem weiß ich, der IE ist nicht einfach nur unbrauchbar, sondern gefährlich. Erst nach mehreren Tagen, als ich gerade eine Weile nicht am Rechner war, sah ich aus den Augenwinkeln wie sich auf dem Bildschirm irgendwelche Fenster öffneten, per Fernsteuerung Befehle ausgeführt wurden, merkwürdige Fehlermeldungen erschienen und verschwanden direkt wieder. Ich musste augenblicklich die Internetverbindung trennen, mein Betriebssystem neu aufsetzen. Nie wieder Internet Explorer.

In der Not bot mir der alternative Browser Opera die Möglichkeit, mich im Netz wieder halbwegs sicher zu fühlen. Umgewöhnt hatte ich mich innerhalb kürzester Zeit, schon bald fragte ich mich, wie ich es so lange ohne Opera aushalten konnte. Die Mausgesten waren sogar so praktisch, dass ich heute gar nicht mehr ohne sie arbeiten wollte. Opera war der Browser, der Tabbed Browsing salonfähig machte, und erst einige Jahre später wurde das in den Konkurrenten Firefox, IE, Safari usw. kopiert. Opera brachte seinen eigenen E-Mail-Client mit, später sogar seinen eigenen Torrent-Client. Der eingebaute Downloadmanager war fantastisch. In den regelmäßigen JavaScript-Performancemessungen war Opera lange Zeit der Spitzenreiter, und mit jeder weiteren Optimierung der Presto-Engine wurde der Browser wieder ein bisschen schneller. Die ganze Welt wechselte in den Folgejahren zu Firefox oder Chrome, und Opera kam nie auch nur über 3% Marktanteil hinaus. Er führte ein Nischendasein, obwohl er mehr verdient hatte.

70 offene Tabs in Opera? Kein Problem

70 offene Tabs in Opera? Kein Problem

Ich blieb gerne bei Opera. Viele Male fand ich mich deshalb in sinnlosen Diskussionen über den besseren Browser wieder. An den Hochschulen und in Firmen ist Firefox längst vorinstalliert. Warum sollte noch jemand sowas wie Opera verwenden? Tja, warum eigentlich nicht, wenn er doch sehr gut funktioniert, und etwa dem Firefox in nichts nachsteht? Geringe Marktanteile sind kein Argument gegen einen Browser, eher noch eines dafür, jedenfalls musste ich mir nie Gedanken über Firefox-Trojaner machen. Friedliche Koexistenz scheint ohnehin ein fremdartiges Konzept zu sein.

Dass ich ein Tab-Messie bin, hat mir Opera nie krumm genommen. 30, 50, oder gar 70 Tabs gleichzeitig geöffnet, sogar gruppiert nach Kategorie, das alles war nie ein Problem. Hin und wieder ein kleiner Absturz, aber was macht das schon. Das passiert Firefox auch. Dass er mit dieser Masse an Tabs 3 GB Arbeitsspeicher frisst – geschenkt. Doch seit 2011 wurden die Probleme häufiger. Ich musste mit Slowdowns auf so manchen scriptüberfrachteten Webseiten kämpfen. Manchmal ruckelte alles unerträglich, manchmal reagierte er überhaupt nicht mehr. Manchmal registrierte er keine Mausklicks mehr, manchmal zeigte er mir einfach keine Bilder mehr an. Ständig musste ich ihn neustarten. Man hatte den Eindruck, Opera wurde langsam altersschwach. Vielleicht entwickelte sich das Netz aber auch einfach an Opera vorbei. Ich hielt meinem kränkelnden, tapferen Browser die Treue. Die schwierigen Webseiten konnte ich ja trotzdem im Firefox oder in Chrome laden.

2013 war kein gutes Jahr für ihn. Die opera-eigene, aufwändig entwickelte Presto-Engine wurde verworfen, der neue Opera-Browser sollte nur noch ein billiger Chrome-Klon ohne Funktionen werden. Diesen Weg würde ich nicht mitgehen, denn dann könnte ich ja gleich auf Chrome wechseln. So blieb ich bei der vorerst letzten „alten“ Version 12.16. Jedenfalls bis ich einen wirklich ärgerlichen Bug entdeckte, als ich Startpage.com als neue Standardsuchmaschine einrichten wollte: Opera speichert die Einstellung einfach nicht, weil Startpage nicht auf seiner internen Suchmaschinen-Whitelist steht. Ein Downgrade auf Version 12.15 „löste“ das Problem zunächst. Nun kam den Opera-Entwicklern kürzlich der Heartbleed-Bug in die Quere, so dass man sich entschied, ein finales Update 12.17 für die Fans der alten Version zu veröffentlichen. Diesem Update überließ ich die Entscheidung, ob ich bei Opera bleiben sollte. Voraussetzung war lediglich, dass ich als Standardsuchmaschine wieder einrichten durfte was ich wollte. Nach dem Update stellte sich leider heraus, dass der Bug nicht behoben worden war.

Danke, Opera, dafür dass du mir 11 Jahre lang ein Fenster zur Welt des Internet geöffnet hast, dass du mir darin soviel gezeigt hast, und dass du mir ein bedeutendes Maß für Sicherheit im Netz warst. Nach 11 Jahren ist es an der Zeit, das sinkende Schiff zu verlassen. Heute habe ich Opera zum ersten Mal deinstalliert, und als Nachfolger nach all der Zeit nun primär den Firefox gewählt. Bisher läuft er tatsächlich sparsamer. Interessanterweise hat das Löschen der Opera-Benutzerdaten auf der Festplatte (150.598 Dateien) stolze 3,3 GB Speicher freigegeben.

Firefox ist für mich leider erst benutzbar geworden, seit ich jede Menge Addons etwa für Mausgesten, eine geordnete Tab-Baumstruktur, Schnellstart-Customization, ein vernünftiges Session-Management, Entwicklertools und Werbeblocker installiert habe, aber das war zu erwarten. Glücklicherweise gibt es mehr als genug davon. Ich werde mich eine Weile umgewöhnen müssen, aber vielleicht vermisse ich meinen Opera schon bald kaum noch. Vielleicht werde ich eine Kerze für ihn anzünden.

Als hätte man nicht schon genug andere Probleme am Hals, musste das gestrige langersehnte Update auf WordPress 3.3 einige fiese Fehler erzeugen, die ich auf die Schnelle nicht beheben konnte. Einer der harmlosesten ist der Defekt an meiner Theme, der sich prima an der Menüleiste erkennen lässt. Der Code, der für das Menü zuständig ist, hat bei Dropdowns Schwierigkeiten zu erkennen, ob der Menüpunkt ausgewählt ist oder nicht. Sobald ich etwas Zeit habe, versuche ich das mal zu korrigieren.

Nachtrag: Der Darstellungsfehler in der Menüleiste ist schon verschwunden. Hat sich herausgestellt, dass man in WordPress 3.3 zwar auch weiterhin Menüpunkte erstellen kann, die kein Linkziel enthalten (für nichtklickbare Dropdownmenüs), aber jetzt leider nicht mehr richtig erkannt wird, wann das Menü als angeklickt behandelt werden muss. Verschlimmbesserungen sind ärgerlich.

Leider hat das Update aber einige Funktionen von Success Denied komplett lahmgelegt. Immerhin weiß ich jetzt weshalb sich in letzter Zeit soviele Plugins beinahe grundlos verabschiedet haben. Die Blogsoftware kratzte bereits seit Wochen immer wieder mal am Speicherlimit von PHP, und mit jedem zusätzlichen Plugin wurde die Luft dünner. Wie ich einigen Diskussionen in unterschiedlichen Foren entnehmen konnte, gibt es viele Leute, die sich darüber beklagen, wie speicherhungrig WordPress geworden ist. Schließlich hat das neueste Update den Speicherbedarf noch einmal drastisch angehoben, und dann hat es eben geknallt.

Ich musste jede Menge Plugins entfernen, um überhaupt noch auf das Backend zugreifen zu können. Hat sich herausgestellt, dass die Serverkonfiguration gerade einmal 64 MB zur Verfügung stellt (was normalerweise völlig ausreichend ist). Meine WordPress-Installation braucht allerdings alleine bereits um die 44 MB, mit Theme und Plugins sind wir dann schon bei inzwischen 67 MB. WordPress ist also nicht unbedingt sparsam im Verbrauch. Glücklicherweise ist mein Hoster sehr kulant und als Kunde darf man das Limit selbst anheben, falls notwendig. Jetzt ist also endlich wieder alles im grünen Bereich.

Interessant – gerade beim Schreiben des Artikels habe ich feststellen müssen, dass ich mit Firefox keine Dateien mehr anhängen und auch kein Artikelbild auswählen kann: Das entsprechende Popup taucht einfach nicht auf. Die Funktion geht in Opera schon seit Monaten nicht mehr, dafür habe ich dann einfach immer den Firefox benutzt, aber jetzt muss ich als Ersatz für den Ersatz auch noch Chrome verwenden. Bei dem klappt es wenigstens. Jemand ne Idee woran das liegt? Irgendwie komme ich mir da so langsam schon recht behindert vor.

Ach, was hasse ich diese sinnlose unnötige Flickschusterei mit WordPress manchmal…

Kürzlich habe ich erst darüber berichtet, wie speicherhungrig der Browser Opera sein kann, wenn man ein anspruchsvoller Intensiv-/Dauersurfer ist, und noch dazu den Rechner einfach durchgehend laufen lässt. Damals habe ich bemängelt, dass die Software schon nach wenigen Tagen tatsächlich fast 1,5 GB Arbeitsspeicher in Beschlag genommen hat. Inzwischen habe ich meinen alten Rekord gebrochen:

Opera braucht von den momentan verbauten 5 GB RAM sage und schreibe 2,7 GB. Das ist mehr als die Hälfte. Ich möchte hier noch einmal betonen, dass ich es nicht darauf angelegt habe. Ich habe nicht einfach 200 Tabs geöffnet und in jedem ein anderes Youtube-Video geladen. Das wäre ja keine Kunst. Der Screenshot ist ein reines Produkt meiner üblichen Surf-Gewohnheiten, daran ist nichts inszeniert. Alleine deshalb wundert es mich ja.

Wo wir aber gerade beim Wundern sind: Wer glaubt, er könne verstehen, warum Opera soviel Speicher braucht, der lasse sich bitte Folgendes durch den Kopf gehen. Als Opera bei mir vor wenigen Wochen immerhin schon angenehme 2130 MB Arbeitsspeicher in Beschlag genommen hatte, dachte ich, ich könnte den Browser zur Abwechslung ja einfach mal wieder schließen und neu starten.

Das Ergebnis war wirklich interessant. Ich habe exakt dieselbe Sitzung und Konfiguration mit exakt denselben Tabs automatisch wieder öffnen lassen. Der Speicherverbrauch lag hinterher noch bei lächerlichen konstanten 400 MB. Wo waren bitte die übrigen 1700 MB geblieben?