19 Jun
2005
19 Jun
'05
07:50
Am Samstag, 18. Juni 2005 22:27 schrieb Sascha Blum:
Damit die Änderungen aktiv werden muss mal glaube ich den Browser beenden und neu starten ...
das sollte nicht nötig sein, da das ja direkt im XML-DOM-Baum geändert wird, und dann erst beim Beenden in die prefs.js geschrieben wird. Gruß Andreas