Issue 6035 - Workaround missing browser.devtools.panels.openResource

ext/devtools.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  * GNU General Public License for more details.
  *
  * You should have received a copy of the GNU General Public License
  * along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>.
  */
 
 "use strict";
 
 {
   let inspectedTabId = browser.devtools.inspectedWindow.tabId;
   let port = browser.runtime.connect({name: "devtools-" + inspectedTabId});
 
   ext.onMessage = port.onMessage;
   ext.devtools = browser.devtools;
+
+  // Firefox as of 57 does not yet implement browser.devtools.panels.openResouce
+  if (!("openResource" in ext.devtools.panels))
+    ext.devtools.panels.openResource = window.open.bind(window);

[Wladimir Palant, 2017/11/14 13:12:37]

While this will do as a quick work-around, I'd rather go with a solution that
allows users to copy the link via context menu (yes, this has been requested
already). How about we make that element an <a target="_blank"> and only do
event.preventDefault() on a click if openResource() is available? This way users
should also be able to middle-click in both Chrome and Firefox if they want to
open the resource in a tab instead of the source viewer.

[kzar, 2017/11/14 15:17:04]

Good idea, done but under a new review
https://codereview.adblockplus.org/29608555/ .

 }