Issue 2079 - Use chrome.tabs.update instead chrome.tabs.highlight for compatibility with Opera

chrome/ext/background.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2015 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
@@ skipping 501 matching lines @@
       if (!win.incognito)
         queryInfo.windowId = win.id;
 
       chrome.tabs.query(queryInfo, function(tabs)
       {
         if (tabs.length > 0)
         {
           var tab = tabs[0];
 
           chrome.windows.update(tab.windowId, {focused: true});
-          chrome.tabs.highlight(
-            {
-              windowId: tab.windowId,
-              tabs: [tab.index]
-            },
-            function() {}
-          );
+          chrome.tabs.update(tab.id, {active: true});
 
           if (callback)
             callback(new Page(tab));
         }
         else
         {
           ext.pages.open(optionsUrl, callback);
         }
       });
     });
   };
 })();