[Info] userChrome.js

[pcinfarkt]

Zwischenzeitlich sind den meisten Nutzern die Möglichkeiten der Veränderung von Firefox mit Hilfe der Profildateien user.js (Schalter), userchrome.css (Oberfläche) und userContent.css (Anzeige) bekannt. Nachlesbar in gewissen Umfang auch hier (ff).

Vllt. noch nicht so bekannt ist die Profilordner \chrome\userChrome.js -Datei [1]. Ähnlich wie user.js ist diese Datei bei der Defaultinstallation nicht vorhanden und muss angelegt / editiert werden. Voraussetzung für das Nutzen von *.js -Skripten und hilfreich beim Anlegen der Datei ist die Extension userChrome.js (Rechtsklick: speichern). Die gleichen Funktionen ergänzt um die Editiermöglichkeit aus der Fx - Oberfläche, erfüllt die Extension ChromEdit Plus SE. Beachte: Nur eine von Beiden!

Mit der userChrome.js und entsprechenden *.js - Scripten ist ähnlich der beiden anderen o.g. Chrome-Dateien eine Beeinflussung von Fx möglich. Was also die userchrome.css für *.css - Scripts darstellt, ist die userChrome.js für *.js -Scripts.

Wie mächtigen Extension (GM, Stylish u.a.) ist es auch mit Nutzung der userChrome.js möglich, Extension zu sparen. Vllt. mit am Bekanntesten ist die Möglichkeit des Ansehens von Links aus dem Kontext im IE (analog IE View) [2].

Abb. Kontext Launch IE

Quellen:
[1] http://wiki.mozilla.org/UserChrome.js
[2] http://forums.mozillazine.org/viewto...169699#2169699

[pcinfarkt]

Die Ergänzung betrifft die Editiermöglichkeit der userChrome.js aus der Firefox Oberfläche. Für Nutzer der Extension MR Tech's Local Install macht die Extension ChromEdit Plus SE wenig Sinn, da ja die Editiermöglichkeit für die user.js, userCrome.css und userContent.css gegeben ist.
Jedoch kann die Extension MR Tech's Local Install mit nachfolgenden *.js-Script für die userChrome.js aufgewertet werden:

Anpassung Menü MR Tech's Local Install

Mit Einbindung dieses Scripts in die userChrome.js wird das Editiermenü von MR Tech's Local Install ergänzt.

Abb. Menü mit ergänzter Editiermöglichkeit

Quelle: [Ext] userChrome.js
____________________
Anmerkung - kommt scheinbar aus dem Beitrag nicht rüber !
Anders als bei der Extension ChromEdit Plus SE ist bei MR Tech's Local Install die Extension userChrome.js für die Einbindung der *.js-Scrips erforderlich!

[pcinfarkt]

Unter Umständen kann es günstig sein, den DOMI bezogen auf ein Element direkt aus dem Kontext aufzurufen. Mit dem nachfolgenden *.js-Script und dessen Einbindung in die userChrome.js ist dies möglich:
InspectChrome.uc.js

Mit der Schaltung dieses Scrips erscheint im Kontext *Inspect Element*. Damit kann im Bedarfsfall eine entsprechende Extension gespart werden.

Abb. Bsp. mit Inspect Element und DOMI *

* Die verwendete Seite und das Element dienen nur dem Beispielszweck!

[pcinfarkt]

Wenn man zusätzlich zum Titel der aktuellen Webseite auch noch den Wochentag, das Datum und die Uhrzeit in der Titelbar sehen möchte, dann kann man dies mit folgendem *.js-Script und dessen Einbindung in die userChrome.js realisieren:

/* :::::::: Anzeige Dokument / WoTag/ Dat / Uhrzeit ::::::::::::::: */

/*--------------------------------------------------------
    Anzeige erfolgt deutsch und mit führenden
    Nullen bei Datum, Stunden und Minuten
  --------------------------------------------------------*/

function doDatUhr() {
  var days = ["Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag"];
  var months = ["Jan", "Feb", "März", "Apr", "Mai", "Jun", "Jul", "Aug", "Sep", "Okt", "Nov", "Dez"];
  window.setTimeout("try{doDatUhr()}catch(ex){}", 1000 );
  var title = content.document.title;
  var D = new Date();
  var day = days[D.getDay()];
  var month = months[D.getMonth()];
  var year = D.getFullYear();
  var hour = D.getHours();
  var minute = D.getMinutes();
  var second = D.getSeconds();
  var date = day + ", der " + (D.getDate() < 10 ? "0" +D.getDate() : D.getDate()) + ". " + month + ". " + year;
  var time = (hour < 10 ? "0" +hour : hour) + ":" + (minute < 10 ? "0" +minute : minute);
  var timestr = " ----- " + date + ", " + time+ " Uhr ----- ";
  document.title = title + timestr;
}

doDatUhr();

/* :::::::: END Anzeige Dokument / WoTag/ Dat / Uhrzeit ::::::::::::::: */

Könnte wie folgt ausehen:
Abb. Modifizierte Titelbar

[loshombre]

Servus Kamerad!

N schönes Ding das Moped. Den Seitentitel hab ich da raus nehmen können.
Jetzt musst du mir aber erklären, wie ich (so wie du) meinen Fuchsnamen hinter die Datumanzeige hin bekomme.
Und vor allem hinter nur eine Anzeige, nicht zwei!

[loshombre]

Ok, hat sich erledigt! Habs hin gekriegt.

Übrigens vielen Dank für dieses Script. Dadurch kann ich mir "ganze" zwei Erweiterungen sparen! Wunderbar

[adxalf]

Jetzt musst du mir aber erklären, wie ich (so wie du) meinen Fuchsnamen hinter die Datumanzeige hin bekomme.

Hallo!
Das interessiert mich auch! Was hast du an deinem Code ergänzt dafür?

[loshombre]

Diesen Codeabschnitt

document.title = title + timestr;

hab ich so rum geschraubt

document.title = timestr + "----- " + "Speedfox " + "----- ";

und das kommt bei mir dann so:

[pcinfarkt]

Jetzt musst du mir aber erklären, wie ich (so wie du) meinen Fuchsnamen hinter die Datumanzeige hin bekomme.

Ich hoffe, ich verstehe das richtig, dann:

var timestr = " ----- " + date + ", " + time + " Uhr ----- Speedfox";
document.title = timestr;

Die folgende Zeile zur Variablenvereinbarung Titel kannst Du dann auch entfernen:

var title = content.document.title;

Beachte! Dieser Script wird durch entsprechend aktivierte Vereinbarungen in NTT und MR tech aufgehoben!