From 1d3365807dd07003c386a2929a17296996d0e812 Mon Sep 17 00:00:00 2001
From: Donald Buczek <buczek@molgen.mpg.de>
Date: Tue, 3 Jan 2017 15:16:57 +0100
Subject: [PATCH] web: Remove top menu

We can select the pages via a header line now, so there is no need to
have a separate selection page. Start with groups page right away.
---
 web/pages/mxq/mxq.in | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/web/pages/mxq/mxq.in b/web/pages/mxq/mxq.in
index 6067027c..f188b33f 100755
--- a/web/pages/mxq/mxq.in
+++ b/web/pages/mxq/mxq.in
@@ -859,14 +859,6 @@ sub selfurl {
 	return $q->url().$path_info;
 }
 
-sub top {
-	return $q->ul(
-		$q->li(a({href=>selfurl('/groups')},'groups')),
-		$q->li(a({href=>selfurl('/active_jobs')},'active_jobs')),
-		$q->li(a({href=>selfurl('/server')},'server')),
-	);
-}
-
 sub top_menu {
 	return '<table class="menu">' . $q->Tr(
 		$q->td(a({href=>selfurl('/groups')},'groups')),$q->td('&nbsp;'),
@@ -887,7 +879,7 @@ my $path_info=$q->path_info()||'';
 
 $path_info=~s/\/$//;
 if ($path_info eq '') {
-	print header().HEAD().top_menu().top();
+	print header().HEAD().top_menu().groups();
 } elsif ($path_info eq '/server') {
 	print header().HEAD().top_menu().server();
 } elsif ($path_info eq '/groups') {