this.setClipbaordFormat(format); 
this.setClipboardFormat(format); 
    setCurrentFormat: function(format) {        this.currentFormat = format;        this.options.selectedFormat = format.id;        Preferences.save(this.options, 'selectedFormat');        this.setClipbaordFormat(format);        this.notify("currentFormatChanged", format);    },
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/86c160799a5ec0ddbcb7fcdd775a9e8ed93a86bb/application.js/clean/src/content/application.js