Issue 4752 - Improve options page performance for lots of custom filters

options.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-2016 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 579 matching lines @@
 }
 
 // Shows raw filters box and fills it with the current user filters
 function toggleFiltersInRawFormat(event)
 {
   event.preventDefault();
 
   let rawFilters = document.getElementById("rawFilters");
   let filters = [];
 
-  if (rawFilters.style.display == "none")
+  if (rawFilters.style.display != "table-row")
   {
     rawFilters.style.display = "table-row";

[kzar, 2016/12/21 10:44:01]

I checked what jQuery was doing when the toggle method was called, it gave the
display of "table-row" which is why I've done that here.

     for (let option of document.getElementById("userFiltersBox").options)
       filters.push(option.value);
   }
   else
   {
     rawFilters.style.display = "none";
   }
 
   document.getElementById("rawFiltersText").value = filters.join("\n");
 }
@@ skipping 114 matching lines @@
       onFilterMessage(message.action, message.args[0]);
       break;
     case "prefs.respond":
       onPrefMessage(message.action, message.args[0]);
       break;
     case "subscriptions.respond":
       onSubscriptionMessage(message.action, message.args[0]);
       break;
   }
 });