Beiträge von milupo

  • Nightly 72.0a1 (2019-10-25) Lupensymbol

    Na, noch einmal nachschauen ist eben immer besser als aus der Erinnerung zu rezipieren. :)

    Das hatten wir ja im Laufe des Threads festgestellt, dass bei browser.urlbar.megabar true #urlbar-background genommen werden muss und bei browser.urlbar.megabar auf false lässt sich #urlbar weiter verwenden.

  • Nightly 72.0a1 (2019-10-25) Lupensymbol

    Zitat von FuchsFan

    Soeben kam ein neues Update für Nightly, und damit waren die runden Ecken der Adressleiste weg. Der Code mit dem Selektor #urlbar-background funktioniert nicht mehr. Ich habe ihn dann so wieder hergestellt:

    Wiederhergestellt? Das heißt was? Mit #urlbar funktioniert es wieder? Du bist sicher, dass du browser.urlbar.megabarnicht auf false gestellt has?

  • Den Eintrag Empfehlungen ausblenden

    Zitat von camel-joe

    Gibt es eigentlich einen Weg, dass man für die Skripte einen Unterordner im Ordner chrome erstellt, damit es aufgeräumter ist?

    Du musst in der Datei userChrome.js das Sternchen durch den Namen deines Unterordners ersetzen, z. B. scripts:

    JavaScript
    // userChrome.js
userChrome.ignoreCache = true;
userChrome.import("scripts", "UChrm");

    Aber bedenke, du brätst hier eine Extrawurst. Du musst selbst daran denken, wenn du bei einem Profil das neu machen musst und nicht einfach die userChrome.js kopierst solltest.

  • Den Eintrag Empfehlungen ausblenden

    MIt Skripten geht das ja auch, das Problem ist nicht, dass es per se mit Webextensions nicht möglich ist, denn Webextensions basieren ja auch auf JavaScript, sondern das Problem ist, Webextensions haben nicht das Recht, die Firefox-Oberfläche zu ändern, das hat Mozilla unterbunden.

  • Den Eintrag Empfehlungen ausblenden

    Zitat von camel-joe

    Ich kann mich irren, aber ich meine, dass ich gelesen hätte, dass es gar nicht mehr anders geht.

    Also, dass gar keine Erweiterung mehr für die Änderung an der Oberfläche funktioniert.

    Webextensions können die Firefox-Oberfläche nicht mehr ändern. Viele haben vor Einführung der Webextensions Erweiterungen verwendet, um da irgendwelche Kleinigkeiten zu ändern, z. B. die Erweiterung CTR von Aris oder Tab Mix Plus. Die waren ziemlich umfangreich, ich könnte mir vorstellen, dass da viele gewissermaßen mit Kanonen auf Spatzen geschossen haben. Diese Nutzer wussten nichts oder so gut wie nichts über userChrome.css. Der Vorteil der userChrome.css (und der userContent.css) ist, dass man dort nur den Code eintragen braucht, den man für seine Zwecke braucht und keinen unnützen Ballast mitschleppt. Und man kann jederzeit etwas ergänzen. CSS ist eben sehr mächtig. Früher hätte man da mehrere Erweiterungen gebraucht, um das zu erreichen.

    Mit Einführung der Webextensions stieg also dann die Anzahl der Nutzer an, die die userChrome.css nutzen mussten, um Änderungen an der Firefox-Oberfläche vorzunehmen - und was die about:-Seiten angeht, auch die der userContent.css. Daher habe ich die Anleitung geschrieben. Viele wussten erst mal nicht, wie geht das, was muss ich machen, damit es funktioniert. Ich könnte mir vorstellen, dass viele immer noch nicht wissen, wie das funktioniert, obwohl das nicht schwer ist. Und man muss ja das auch nur einmal machen. Nun gut, Mozilla hat nun den Schalter in about:config eingeführt, den man dann erst wieder auf true setzen muss, wenn man ein neues Profil verwenden will oder muss. Das Schwierige daran ist aber nur, daran zu denken.

  • @import funktioniert nicht

    Zitat von camel-joe

    ich dachte zuerst, Du hättest etwas vergessen, da andere User z.B. den fehlenden Punkt erwähnten.

    Aber es gibt wohl mehrere gültige Varianten. Es hat sich ja inzwischen alles aufgeklärt.

    Es führen oft viele Wege nach Rom, die aber auch dann wieder unterschiedliche Bedingungen erfordern können.

    2002Andreas und ich hatten uns seinerzeit auf dieses Vorgehen in der Anleitung geeinigt, weil es sich empfiehlt, im Forum eine einheitliche Linie zu fahren. Dazu gehört z. B. auch die Empfehlung, die Ordner CSS und CSSWeb anzulegen und sie so zu benennen. Theoretisch kann man die CSS-Dateien ja auch direkt im Ordner chrome ablegen. Wer will kann ja auch all seine Codes in die userChrome.css schreiben. Aber für die Übersichtlichkeit empfehlen wir eben gesonderte Ordner. Ein einziger Ordner würde auch reichen. Wenn du CSSWeb nicht verwenden willst, sondern nur CSS, na dann schreibe auch in der userContent.css CSS als Ordner in den @import-Pfad. Hauptsache der Pfad stimmt.

  • @import funktioniert nicht

    Zitat von camel-joe

    1.) Was hat sich milupo bei der Anleitung gedacht?

    2.) Warum funktioniert der Code von #2 bei FuchsFan?

    @import "CSS/dateiname.css"; ist richtig, es funktioniert. Wichtig ist vor allem, dass vor einem @import-Befehl nichts anderes stehen darf als ein weiterer @import-Befehl. Großschreibung/Kleinschreibung sollte auch beachtet werden. Wenn dein Ordner css und nicht CSS heißt, dann schreibe im @import-Befehl auch css.

  • Firefox 70 und grünes Schloss-Symbol

    Zitat von BrokenHeart

    Danke euch beiden für die zusätzlichen Tipps, aber ich habe jetzt herausgefunden warum meine Windows-Taste bei meiner Sharkoon-Tastatur nicht mehr ging. Man muss ein spezielles Programm starten (Skiller-Pro), damit die Tatstatur die Windows-Taste für das ausgewählte Profil eingeschaltet lässt. Krank...aber jetzt geht es mit Win + '.' :thumbup:

    Du scheibst nicht mehr ... Hat sich denn da das Programm zwischenzeitlich eigenmächtig verabschiedet?