/usr/share/xul-ext-controlaula/chrome/content/ff-overlay.js is in controlaula 1.8.0-3.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 | ControlAula.onFirefoxLoad = function(event) {
document.getElementById("contentAreaContextMenu")
.addEventListener("popupshowing", function (e){ ControlAula.showFirefoxContextMenu(e); }, false);
ControlAula.addToolbarButton();
};
ControlAula.showFirefoxContextMenu = function(event) {
// show or hide the menuitem based on what the context menu is on
document.getElementById("context-ControlAula").hidden = gContextMenu.onImage;
};
var prefs = Components.classes["@mozilla.org/preferences-service;1"]
.getService(Components.interfaces.nsIPrefService);
prefs = prefs.getBranch("extensions.ControlAula.")
var dirService = Components.classes["@mozilla.org/file/directory_service;1"].
getService(Components.interfaces.nsIProperties);
var homeDirFile = dirService.get("Home", Components.interfaces.nsIFile);
var homeDir = homeDirFile.path;
window.addEventListener("load", ControlAula.onFirefoxLoad, false);
// Parse our json file:
var file = Components.classes["@mozilla.org/file/local;1"].createInstance(Components.interfaces.nsILocalFile);
file.initWithPath(homeDir + "/.controlaula/data.json");
data = "";
resultado=null;
if (file.exists()) {
data = "";
fstream = Cc["@mozilla.org/network/file-input-stream;1"]
.createInstance(Ci.nsIFileInputStream);
sstream = Cc["@mozilla.org/scriptableinputstream;1"]
.createInstance(Ci.nsIScriptableInputStream);
fstream.init(file, -1, 0, 0);
sstream.init(fstream);
while (sstream.available())
data += sstream.read(4096);
sstream.close();
fstream.close();
JSON = Cc["@mozilla.org/dom/json;1"].createInstance(Ci.nsIJSON);
resultado= JSON.decode(data);
//save preferences
prefs.setCharPref("port",resultado["port"]);
prefs.setCharPref("url",resultado["url"]);
prefs.setBoolPref("isTeacher", eval(resultado["isTeacher"]));
var prefService = Components.classes["@mozilla.org/preferences-service;1"]
.getService(Components.interfaces.nsIPrefService);
prefService.savePrefFile(null);
}
|