From cc7583b7f4217160cde8a3304cb687bcfb09f869 Mon Sep 17 00:00:00 2001 From: cdot Date: Tue, 5 Jul 2016 16:43:57 +0100 Subject: [PATCH] Item14106: deal with firefox API change --- pub/System/WebDAVLinkPlugin/firefox/content/overlay.js | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/pub/System/WebDAVLinkPlugin/firefox/content/overlay.js b/pub/System/WebDAVLinkPlugin/firefox/content/overlay.js index a050378..2b879cd 100644 --- a/pub/System/WebDAVLinkPlugin/firefox/content/overlay.js +++ b/pub/System/WebDAVLinkPlugin/firefox/content/overlay.js @@ -41,12 +41,13 @@ var webdavlink = { var appList = this.defaultExec; try { var prefs = Components.classes['@mozilla.org/preferences-service;1'] - .getService(Components.interfaces.nsIPrefService); - appList = prefs.getCharPref('extensions.webdavlink.apps'); + .getService(Components.interfaces.nsIPrefService) + .getBranch("extensions.webdavlink"); + appList = prefs.getCharPref('apps'); // while we have prefs in hand..... - this.debug = prefs.getBoolPref("extensions.webdavlink.debug"); + this.debug = prefs.getBoolPref("debug"); } catch (e) { - this.report("extensions.webdavlink.apps preference missing"); + this.report("extensions.webdavlink preferences missing"); } var apps = appList.split(';'); for (var i in apps) {