Beiträge von David44

Zitat von oldman53

versuche diese Einstellungen unter about:config

Ohne CSS oder Scriptcode geht es auch.

Super, genau so wie es sein soll. Lediglich eine dünne Umrandung des Sliders hat das Script früher zusätzlich gemacht, die ist aber nicht wichtig.

Mir genügen letztlich diese 3 Einstellungen:

user_pref("widget.non-native-theme.gtk.scrollbar.allow-buttons", true);
user_pref("widget.non-native-theme.gtk.scrollbar.thumb-size", "1");
user_pref("widget.non-native-theme.scrollbar.style", 2);

Verwirrend, daß manche Änderungen sofort sichtbar sind, andere erst nach Neustart (und daß GTK auch für Windows gilt). Vielleicht hatte ich die Einstellungen schon...

Danke jedenfalls!

Hier in den Policies steht u.a.
"DisablePocket": true,
Damit baut FF jedoch trotzdem Verbindungen zu diversen *pocket*-Servern auf. Daraufhin habe ich in den Einstellungen:
user_pref("extensions.pocket.enabled", false);
gesetzt. Die Verbindungen zu spocs.getpocket.com und getpocket.cdn.mozilla.net werden trotzdem sporadisch aufgebaut. Davon abgesehen, daß EINE der genannten Einstellungen eigentlich genügen sollte, ich finde das Verhalten nicht sonderlich vertrauenerweckend ("no means no"). Was ist denn der vorgesehene Weg, dieses Pocket-Eigenleben zu unterbinden? Vermutlich ist das wieder mal kein Bug sondern ein Feature. Ist dann aber kein Wunder, wenn Leute die hosts-Datei bearbeiten, was ich eigentlich lieber vermeide.

Hallo,
ich hätte gerne den Scroll-Slider etwas abgerundet. Prinzipiell sieht es gut aus direkt nach dem Umschalten auf

user_pref("widget.non-native-theme.scrollbar.style", 1);

Allerdings fehlen nach einem Restart die Pfeile. Wie kombiniert man beides, also abgerundeten Slider UND Pfeile?
Bis FF 102 hat es ein kleines Userscript getan, aber meine Anpassungsversuche (s.u.) an FF 115 waren erfolglos. Wenn es ohne das Script ginge, wäre es am besten, aber Hilfe bei der Korrektur des Scripts wäre auch willkommen.

var ss = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService);
var uri = Services.io.newURI("data:text/css;charset=utf-8," + encodeURIComponent('\
  scrollbar thumb {\
    background-color: #BBBBBB !important;\
    border-radius: 20px !important;\
    border: 1px solid #888888 !important;}\
  scrollbar thumb:hover, scrollbar thumb:active {\
    background-color: #888888 !important;}\
  scrollbar[orient="vertical"] scrollbarbutton {\
    width: 13px !important;\
    max-width: 13px !important;}\
  scrollbar[orient="horizontal"] scrollbarbutton {\
      height: 13px !important;\
   max-height: 13px !important;}'), null, null);
ss.loadAndRegisterSheet(uri, ss.AGENT_SHEET);

(Warum steht da "CSS"? Ich habe hin und herprobiert aber es nicht besser hinbekommen.)

Zitat von milupo

Besonderheit: Der Code muss sowohl in die userChrome.css als auch in die userContent.css.

Geht hier nicht, mehrmals probiert, Cache geleert, Codierung, sonst leere .css... Merkwürdig. Aber wenn ohnehin nur Farbe und Breite einstellbar sind, werde ich wohl sowieso bei der Scriptvariante bleiben. Durch die abgerundeten Enden wird der fehlende 3D-Effekt ausgeglichen.

Zitat von milupo

Es gibt keine Verschlechterungen.

Für mich ist es eine Verschlechterung, wenn es länger dauert, eine Information zu erfassen (hier: Position des Scrollbalkens). YMMV

Funktioniert das denn bei Firefox 91(ESR) nun noch per userchrome.css, dieses benutzerunfreundliche kontrastarme Design zu verbessern? Das hier vorgeschlagene geht leider nicht, der Rest der userchrome.css wird aber ausgeführt:

@-moz-document url("chrome://browser/content/browser.xhtml"),
url("chrome://browser/content/places/bookmarksSidebar.xhtml") {
/* Scrollbar (Bildlaufleisten 2 Farben): innerhalb von Firefox */
:root{
/* Farbe 1: Thumb (Daumen) - Farbe 2: Hintergrund*/
scrollbar-color: #CC6699 #666699 !important;
}}

Mit einem UserScript geht es zwar:

/* scrollbar.uc.js +/
/* kontrastreichere Scroll-Balken */
Components.utils.import("resource://gre/modules/Services.jsm");
var ss = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService);
var uri = Services.io.newURI("data:text/css;charset=utf-8," + encodeURIComponent('\@namespace html url("http://www.w3.org/1999/xhtml");\
  scrollbar thumb {\
    -moz-appearance: none !important;\
    background-color: #BBBBBB !important;\
    border-radius: 20px !important;\
    border: 1px solid #888888 !important;}\
  scrollbar thumb:hover, scrollbar thumb:active {\
    -moz-appearance: none !important;\
    background-color: #888888 !important;}\
  scrollbar[orient="vertical"] scrollbarbutton {\
    width: 13px !important;\
    max-width: 13px !important;}\
  scrollbar[orient="horizontal"] scrollbarbutton {\
      height: 13px !important;\
   max-height: 13px !important;}'), null, null);
ss.loadAndRegisterSheet(uri, ss.AGENT_SHEET);

aber wieder mal 'ne Nummer komplizierter, nur um aktuelle Verschlechterungen auszugleichen. Alleine per userchrome.css wäre mir lieber...

Seit langem verwende ich zur Zufriedenheit und daher mittlerweile unverzichtbar mehrere Scripte der Art buttonToggleJavascript.uc.js. Nun würde ich gerne per Button auch zwischen "kein Stil" und "Standard-Stil" umschalten.

Die entscheidenden Kommandos sind mir klar: "gPageStyleMenu.disableStyle()" und "gPageStyleMenu.switchStyleSheet(null)". Auch das ganze Button-Gerüst bleibt wie gehabt. Es fehlt eigentlich nur an einem Pendant zu "Services.prefs.getBoolPref('javascript.enabled')", um das richtige Symbol anzeigen und korrekt umschalten zu können. Wie macht man das? Auch Ideen für ein schönes Symbol-Paar wären nützlich.

Danke fürs Aktualisieren. Bei meinen Tests der letzten Tage waren funktionierende Scripts die Ausnahme. Die meisten, die mich interessierten, liefen nicht unter FF78/FF91. Z.B.

GoogleImageSearch.uc.js

ImageChangeSize.uc.js

MouseGestures.uc.js

UserAgentSwitcherLite.uc.js

und einige andere. Ein paar zeigten zwar Aktivität aber unerwünschte, wie zerschossene Darstellung. Z.B.

externalApplications.uc.js

SearchSimilarImage.uc.js

ToggleImageBtn.uc.js

Möglicherweise sind ja bei manchen auch nur geringe Änderungen nötig?

Da ich gerne mit eigenen Userscripts weiterkommen würde und es trotz viel Googelns und Testens nicht klappt, wäre etwas Hilfe von euch nett.

Ein Problem sind die Events bzw. Listeners. Ein Script soll etwas tun, nachdem die Seite geladen wurde, s.u. Das nur zum Test verwendete Mousedown-Event wird ausgelöst aber pageshow nicht.- warum nicht?

/* test.uc.js */

(function() {
    function ContentLoaded(event) {
        alert("Contentloaded...");
    }
    function Mousedown(event) {
        if (event.button==2) return;
        alert("Mousedown...");
    }
    try {
        gBrowser.addEventListener("pageshow", ContentLoaded, true);
        gBrowser.addEventListener("mousedown", Mousedown, true);
    }catch(e) {}
})();

Vielleicht erstmal ein Teilproblem. Aus vorhandenen Scripts habe ich ein neues erstellt und würde addEventListener verwenden.

Für die Events finde ich nur düftige Erklärungen. Welches Event ist das richtige, wenn man auf das Neuladen einer Seite reagieren will: 'pageshow' oder 'DOMContentLoaded' oder noch ein anderes? Oder muß man das ganz anders angehen? Nach dem 1. BrowserReload - so weit komme ich z.Z. - muß das Script ja erfahren, wenn die Seite geladen ist und dann den Titel checken und ggf. mit weiterem Reload reagieren. Hier der derzeitige Stand:

(function() {
   if (location != 'chrome://browser/content/browser.xhtml')
      return;
   try {
      CustomizableUI.createWidget({
         id: 'toolbar-button-arl',
         type: 'custom',
         defaultArea: CustomizableUI.AREA_NAVBAR,
         onBuild: function(aDocument) {
            var button = aDocument.createElementNS('http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul', 'toolbarbutton');
            var attributes = {
               id: 'toolbar-button-arl',
               class: 'toolbarbutton-1 chromeclass-toolbar-additional',
               removable: 'true',
               label: 'Auto-Reload',
               tooltiptext: 'Auto-Reload inaktiv',
               oncommand: '(' + onCommand.toString() + ')()'
            };
            for (var a in attributes) {
               button.setAttribute(a, attributes[a]);
            };
            function onCommand() {
               BrowserReload();
               var windows = Services.wm.getEnumerator('navigator:browser');
               while (windows.hasMoreElements()) {
                  let button = windows.getNext().document.getElementById('toolbar-button-arl');
                  button.setAttribute('tooltiptext', 'Auto-Reload aktiv')
               };
// bis hier alles ok. Per Klick wird die Seite neu geladen.
// ab hier klemmt es, der Titel soll nach dem Reload auf "Error" getestet werden:
               let frameScript = function() {
                 addEventListener('DOMContentLoaded', function(event) {
                   let document = event.target;
                   if (document.title.substring(0,5)=='Error') BrowserReload();
                 });
               };
               let frameScriptURI = 'data:, (' + frameScript.toString() + ')()';
               window.messageManager.loadFrameScript(frameScriptURI, true);
// Ende des problematischen Teils
            };
            return button;
         }
      });
   } catch(e) { };

   var css =
      '#toolbar-button-arl[tooltiptext="Auto-Reload inaktiv"] {list-style-image: url('chrome://browser/skin/reload.svg');}' +
      '#toolbar-button-arl[tooltiptext="Auto-Reload aktiv"] {list-style-image: url('chrome://browser/skin/stop.svg');}';
   var stylesheet = document.createProcessingInstruction('xml-stylesheet', 'type="text/css" href="data:text/css;utf-8,' + encodeURIComponent(css) + '"');
   document.insertBefore(stylesheet, document.documentElement);
})();

Folgendes müßte doch eigentlich mit einem Userscript machbar sein. Hat das evtl. schon jemand umgesetzt?

Es soll auf Kommando so oft Reload auslösen und danach den Seitenaufbau warten, bis der Titel des aktuellen Tabs nicht mehr "Error" enthält. Schön wäre, wenn man in der Zwischenzeit in anderen Tabs weiter arbeiten könnte. Wäre super, wenn ihr helfen könntet.

Über das Thema habe ich auch schon öfter nachgedacht. Die paar Byte Größenunterschied wirken sich wohl eher überhaupt nicht aus. Eher interessant fände ich, welches Format resourcenschonender in der Anzeige ist bzw. den besten Kompromiß zwischen Größe und Rechenaufwand für Decodierung und Anzeige bietet.

Am allerliebsten würde ich ja eigentlich die Icon-Definition in der Art: resource://gre/chrome/toolkit/skin/classic/global/icons/xxxxx.svg verwenden. Leider scheint das auch eine Spielwiese der Mozilla-Bastler zu sein und man kann sich nicht darauf verlassen, daß der Link in der nächsten Version noch aufgelöst wird. Zig Icons sind doppelt und mehrfach vorhanden, nutzlose Graphiken dazu, aber eine Version später fehlt gerade das, was man braucht...

Problem gelöst - bitte nur weiterlesen, wenn ihr auf Kommentare verzichtet. Also...... ich mache bisher wenig mit Scripts, aber die haben alle eine Gemeinsamkeit: es kommt kein Umlaut darin vor... im Gegensatz zu den hier thematisierten! Deswegen war mir bis eben entgangen, daß ich alle in ANSI-Codierung gespeichert hatte, mit welcher FF über die Umlaute stolpert. Mit UTF-8 läuft es wie erwartet. Danke für eure Geduld und bitte entschuldigt die unnötige Frage.

Zitat von 2002Andreas

Du nutzt ja zumindest noch ein anderes Script.

Deaktivier das doch bitte mal (und auch alle anderen wenn vorhanden) und teste nur die beiden die nicht funktionieren.

Zitat von milupo

Du hast beim Neustarten von Firefox den Skript-Cache geleert?

Beides schon probiert, leider ändert sich nichts.

"userChrome.ignoreCache = true;" in userChrome.js sollte das tun, oder? Außerdem verwende ich RestartFirefoxButtonM.uc.js v. 0.3, das tut das angeblich auch.

'urlbar' bewirkt übrigens genauso wenig wie 'menu'.

Bin gespannt, ob sich eine Lösung findet.

Zitat von 2002Andreas

Und wenn du diesen Eintrag mal ausprobierts?

helpMenu

Done. Keine Änderung.

Zitat von milupo

Was verstehst du unter „rein gar nichts“?

Was man gemeinhin darunter versteht: rein gar nichts. Es gibt keinerlei sichtbare/spürbare Veränderung mit oder ohne dieses Script.

Zitat von milupo

Welche Version verwendest du überhaupt? Bitte immer den Skript-Code in einem Code-Kasten einstellen. Ich kann mich dunkel erinnern, dass bei der Standardversion des Skripts hinter warpmenuto searchbar angegeben war.

Getestet mit Firefox 78.14.0 ESR, auch ganz ohne userChrome.css, falls das eine Rolle spielt, Scriptversion 2019.08.04, aber auch mit Github/Endor8...

In extras_config_menu.uc.js (1.0.20190504) steht: warpmenuto: 'menu',

Die Menüzeile ist natürlich eingeblendet. Aber die geht von "Datei" bis "Hilfe", egal welches Script da existiert.

Wundert mich schon seit Jahren; ich dachte immer, daß das vielleicht nur mit Greasemonkey o.ä. läuft (der Thread ist so unübersichtlich) und wollte jetzt einfach mal Gewißheit.

Ist für dieses Script eigentlich eine besondere Voraussetzung erforderlich? Dieses, aber auch manch andere wie extras_config_menu.uc.js bewirken hier rein gar nichts. Userscripte laufen ansonsten aber. (z.B. zuletzt dieses: uc_rename.uc.js)

Zitat von David44

Hast Du evtl. noch eine Lösung, um die usercontent.css (nicht) einzulesen, ohne Firefox neu zu starten?

Zitat von aborix

Das ist mit dem Style Sheet Service möglich.

Damit habe ich inzwischen wieder Stunden verbracht, aber ohne Erfolg und ich gebe erst mal auf. Lediglich wenn die usercontent.css beim Start nicht existiert, klappt das Aktivieren per Button und auch zurück. Sonst nicht.

Oh, ich war sicher, auch DAS probiert zu haben. :-/ Möglicherweise wurde da im entscheidenden Moment mal wegen eines Hängers beim Beenden der Cache nicht geleert? Jetzt flutscht's jedenfalls wie 'ne Eins. DANKE!! Hast Du evtl. noch eine Lösung, um die usercontent.css (nicht) einzulesen, ohne Firefox neu zu starten? Hier mal mein derzeitiges Script (bewußt minimalistisch):

// uc_rename.uc.js
// userContent.css umenennen

(function() {
   if (location != 'chrome://browser/content/browser.xhtml')
      return;
   try {
      CustomizableUI.createWidget({
         id: 'toolbar-button-ucr',
         type: 'custom',
         defaultArea: CustomizableUI.AREA_NAVBAR,
         onBuild: function(aDocument) {
            var button = aDocument.createElementNS('http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul', 'toolbarbutton');
            var css = Services.dirsvc.get('UChrm', Ci.nsIFile);
            css.append('userContent.css');
            var attributes = {
               id: 'toolbar-button-ucr',
               class: 'toolbarbutton-1 chromeclass-toolbar-additional',
               removable: 'true',
               label: 'userContent.css',             
               tooltiptext: css.exists() ? 'userContent.css aktiviert' : 'userContent.css deaktiviert',
               oncommand: '(' + onCommand.toString() + ')()'
            };
            for (var a in attributes) {
               button.setAttribute(a, attributes[a]);
            };
            function onCommand() {
               var nocss = false;
               var css = Services.dirsvc.get('UChrm', Ci.nsIFile);
               css.append('userContent.css');
               var css2 = Services.dirsvc.get('UChrm', Ci.nsIFile);
               if (css.exists()) css.moveTo(css2,'userContent.temp')
               else {
                 nocss = true;
                 css = Services.dirsvc.get('UChrm', Ci.nsIFile);
                 css.append('userContent.temp');
                 css.moveTo(css2,'userContent.css')
               };

               var windows = Services.wm.getEnumerator('navigator:browser');
               while (windows.hasMoreElements()) {
                  let button = windows.getNext().document.getElementById('toolbar-button-ucr');
                  if (nocss)
                    button.setAttribute('tooltiptext', 'userContent.css aktiviert');
                  else
                    button.setAttribute('tooltiptext', 'userContent.css deaktiviert');
               };
            };
            return button;
         }
      });
   } catch(e) { };

   var css =
     '#toolbar-button-ucr[tooltiptext="userContent.css aktiviert"] {list-style-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAASCAYAAABSO15qAAABRUlEQVQ4jaXSLW/CUBTG8YdMTmxijiY1M62A8w2omZ1jlhA0mC6ZJTiSKewsDgesohgICWLjQ0DCkvJOPeGZGG3Xji50O8kvueeKv7kX+JorAFkAuRh3AATADYALnJjsfD5nHMuySJKFQuHxGElFA7nFYsE4XoAkdV1/AHAdjeRWqxXjtNttfp9MJnMP4DIUWK/XjDMYDBgdALehwHa7ZZzpdMrhcMhut0vbtmnbNgEYocBut2MSx9cJAq7rMokgYI6ZMt/+BOaYgDnmy7vr8+ac3Q80RhuWOw5JstxxfL/tjdEmCNT7SxZbM5JksTULid55e72/DALVnsN8c0KSzDcnP0TvSbLac4LA0+uHz5vo+dTuB/7F+wf7/Z5J+P9ARAxFUSqHw4FJKIpSEREDImJomlZSVbWWTqefz6Gqak3TtJKIGJ86u+Qm3Nb2fAAAAABJRU5ErkJggg==");}' +
     '#toolbar-button-ucr[tooltiptext="userContent.css deaktiviert"] {list-style-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAASCAIAAADdWck9AAAACXBIWXMAAAsSAAALEgHS3X78AAADfUlEQVQoFQFyA438AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADp6enp6enp6enp6enp6enp6enp6em2trb///9fX18AAAAAAAAAAAAAAAACAAAAAAAAAQEBAQEBAQEBAQEBAQEBAQEBAQEBAAAAAAAAoKCgKioqAAAAAAAAAAAAAgAAAAAAAAICAgICAgICAgICAgICAgICAgICAvz8/AAAAAAAANXV1S4uLgAAAAAAAAQAAAAAAAABAQEAAAAAAAAAAAAAAAAAAAAAAAAPDw8AAAAAAAAAAADR0dEBAQEAAAABAAAAAAAA7+/vEBERAAAA8O/vAAAAAAAAAAAA8vLy4uLi8fHxS0xMAAAAAQAAAAAAAQAAAAAAAPDw8A8QEAAAAAAAAPHw8AAAAAAAAAAAAAAAAA8QEAAAAAAAAAEAAAAAAAIAAAAAAAABAQHy8fEAAAAAAAAPEBABAQEBAQEBAQEPEBAAAAAAAADy8fEAAAAAAAABAHPMAQD+AAAAAAAAAAAA/o02AAAAAAAAAnPK/o02AAAAAAAAAnPKAAAAAAAA/wACAABzzJvL8ZvL8ZvL8f////////8AAP8AAP8AAP8AAP8AAJvL8f///////5vL8QBzzAQAAAD3+/3b7fqSTBdutOkAAAAAs+iSTRgAAAAAAABus+iSNA5utOkAAAAlEwYAAAACAAAA9/r99Pj8AAAA9Pj89Pj89Pj8AAAAAAAAAAAA9Pj8YqzlkkwX9Pj89/r9AAAAAgAAAPf7/fT5/AAAAPT5/PT5/J5VHAAAAAAAAAAAAJ5VHPT5/Fal4Z5UG/f7/QAAAAQAAAD3+v0iEQV4tuaqWx8AAQEAAAAAAAAA//8AAQEAAACqXCAA//94tuYAAAAAAAABAHPMAAAAAAAAAAAA/400AAAAAAAAAXPMAAAAAAAA/400AAAAAAAAAXPMAAAAAAAAAQAAAAAAAPz8/AMEBAAAAAAAAP38/AAAAAAAAAAAAAAAAAMEBAAAAAAAAAEAAAAAAAQwMDDs7OwCAgIAAAAAAAD//v4CAAAAAAAAAAAAAAAAAAD//v4BAgIAAAAcHBwUFBQBMDAw+fn59vb2/Pz8AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAQECgoKBwcHJbHXn8x89sMAAAAASUVORK5CYII=");}';
   var stylesheet = document.createProcessingInstruction('xml-stylesheet', 'type="text/css" href="data:text/css;utf-8,' + encodeURIComponent(css) + '"');
   document.insertBefore(stylesheet, document.documentElement);
})();

Danke, daß Du versuchst, auf meine - wie ich jetzt sehe - bescheuerte Anfrage zu antworten. Ich war offenbar zu genervt (wollte eigentlich auch einen neuen Thread beginnen und hier was anderes fragen)...

Also die eigentliche Frage war/ist: Wie kann man prüfen, ob eine Datei existiert? Ich habe die sinnlose Frage im vorigen Beitrag mal editiert.

Nach langer Pröbelei komme ich wieder mal nicht weiter. Wie kann man in einem Script prüfen, ob eine Datei existiert? Kopieren und Umbenennen klappt problemlos mit

var css = Services.dirsvc.get('UChrm', Ci.nsIFile);
css.append('userContent.css');
var css2 = Services.dirsvc.get('UChrm', Ci.nsIFile);
css.moveTo(css2,'userContent.temp');

css.isfile klingt geeignet, ist aber immer false. Einer der (vielen) anderen Versuche war

var Path = this.getPrefDirectoryPath("UChrm") + this.getDirSep() + "userContent.css";
var file = Components.classes["@mozilla.org/file/local;1"].createInstance(Components.interfaces.nsIFile);
file.initWithPath(Path);
if (file.exists()) alert("alert file exists");

aber da läuft das Script gar nicht.

Offenbar habe ich ein Brett vorm Kopf - das kann doch nicht so schwer sein??

(Edit: in der Frage Umbenennen/FileExist verwechselt)