gistfile1.txt

   if (!sameElements(concat(ts1, ts2), new String[] {"Workspace", "History", "Files", "Plots", "Packages", "Help", "VCS", "PkgBuild"}))
   {
      if (!sameElements(concat(ts1, ts2), new String[] {"Workspace", "History", "Files", "Plots", "Packages", "Help", "VCS"}))
      {
         if (!sameElements(concat(ts1, ts2), new String[] {"Workspace", "History", "Files", "Plots", "Packages", "Help"}))
            return false;

         // It's only that the VCS tab is missing. Add it to tabset 1.
         ts1.push("VCS");
      }
      ts2.push("PkgBuild");
   }