Bei Chrome hast du aber das gleiche Problem: F12 ruft dort - zumindest standardmässig - ebenfalls die Tools auf. 
Evtl. kann man in about:config (devtools.*.enabled) diesbezüglich etwas einstellen. Ich weiss allerdings nicht, welchen Schalter man dort betätigen muss. 
Und im Ticketsystem kann man die Tasten nicht umbelegen?
Lutz
Nach einer Recherche glaube ich dass wenn, nur ein Userscript dir helfen könnte. Eine Erweiterung ist unmöglich und es sind auch keine about:config Einträge bekannt.
Kannst du bitte noch dem Entwickler des Tools eine Kopfnuss geben? Wer ist so blöd und stellt etwas auf F12 wo es doch schon in IE 9 die Entwicklerkonsole öffnet?
Mit einem userChromeJS-Skript geht es. Wenn nur F12 funktionslos werden soll, ist es einfacher, den erforderlichen Code gleich in die Konfigurationsdatei zu geben.
Erstelle dazu eine Textdatei namens "config-prefs.js" mit folgendem Inhalt und gib sie in den Unterordner \defaults\pref des Firefox-Installationsordners:
pref("general.config.obscure_value", 0);
pref("general.config.filename", "config.js");Außerdem erstelle eine Textdatei namens "config.js" mit folgendem Inhalt und gib sie in den Installationsordner:
//
const Cu = Components.utils;
try {
Cu.import('resource://gre/modules/Services.jsm');
let listenOpen = {
observe: function(aSubject, aTopic, aData) {
if (aTopic != 'domwindowopened')
return;
let window = aSubject;
window.addEventListener('load', function() {
window.setTimeout(function() {
if (window.location == 'chrome://browser/content/browser.xul') {
let keyF12 = window.document.getElementById('key_toggleToolboxF12');
keyF12.setAttribute('disabled', 'true');
};
}, 100);
}, {once: true});
}
};
Services.ww.registerNotification(listenOpen);
} catch(e) {
Cu.reportError(e);
};Jetzt neu starten und bei F12 geschieht nichts.
Weitere Informationen zur Konfigurationsdatei gibt es hier:
Mike Kaply - Customizing Firefox – Autoconfig Files