From 8810aad21ee1db44c7f078cb26e278bce2f9488a Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Mon, 28 Apr 2014 17:23:18 +0100
Subject: [PATCH]  mkwsHtmlSwitch no longer sets up the .mkwsSwitch element,
 because now  the widget can do this itself.

---
 src/mkws-team.js |    7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/mkws-team.js b/src/mkws-team.js
index cf4794b..d52cc00 100644
--- a/src/mkws-team.js
+++ b/src/mkws-team.js
@@ -550,13 +550,6 @@ function team($, teamName) {
 
 
     function mkwsHtmlSwitch() {
-	log("HTML switch for team " + m_teamName);
-
-	var node = findnode(".mkwsSwitch");
-	node.append($('<a href="#" onclick="mkws.switchView(\'' + m_teamName + '\', \'records\')">' + M('Records') + '</a>'));
-	node.append($("<span/>", { text: " | " }));
-	node.append($('<a href="#" onclick="mkws.switchView(\'' + m_teamName + '\', \'targets\')">' + M('Targets') + '</a>'));
-
 	log("HTML targets");
 	var node = findnode(".mkwsTargets");
 	node.html('\
-- 
1.7.10.4