Show/hide filtersSplitter if changing from/to typo correction tab in settings

chrome/content/ui/filters.js

 /*
  * This Source Code is subject to the terms of the Mozilla Public License
  * version 2.0 (the "License"). You can obtain a copy of the License at
  * http://mozilla.org/MPL/2.0/.
  */
 
 /**
  * Initialization function, called when the window is loaded.
  */
 function init()
@@ skipping 67 matching lines @@
 function updateSelectedSubscription()
 {
   let panel = E("tabs").selectedPanel;
   if (!panel)
     return;
 
   let list = panel.getElementsByTagName("richlistbox")[0];
   if (!list)
   {
     E("filtersContainer").hidden = true;
+    E("filtersSplitter").hidden = true;
     return;
   }
   
   E("filtersContainer").hidden = false;
+  E("filtersSplitter").hidden = false;
 
   let data = Templater.getDataForNode(list.selectedItem);
   FilterView.subscription = (data ? data.subscription : null);
   FilterActions.updateCommands();
 }
 
 /**
  * Template processing functions.
  * @class
  */
@@ skipping 104 matching lines @@
    * data object.
    */
   getNodeForData: function(/**Node*/ parent, /**String*/ property, /**Object*/ data) /**Node*/
   {
     for (let child = parent.firstChild; child; child = child.nextSibling)
       if ("_data" in child && property in child._data && child._data[property] == data)
         return child;
     return null;
   }
 };