From 55ae0040da4daeaf6f1d710e103126abf2bc6dac Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 1 Nov 2006 10:00:44 +0000
Subject: [PATCH] Add "This Record" panel when an ID is defined.

---
 web/htdocs/chrome/menu.mc |   36 ++++++++++++++++++++++++++++++++++--
 1 file changed, 34 insertions(+), 2 deletions(-)

diff --git a/web/htdocs/chrome/menu.mc b/web/htdocs/chrome/menu.mc
index ef5aaef..dde9689 100644
--- a/web/htdocs/chrome/menu.mc
+++ b/web/htdocs/chrome/menu.mc
@@ -1,4 +1,4 @@
-%# $Id: menu.mc,v 1.8 2006-09-28 16:47:22 mike Exp $
+%# $Id: menu.mc,v 1.9 2006-11-01 10:00:44 mike Exp $
      <p>
       <a href="/"><b>Home</b></a><br/>
       <a href="/all.html">Test&nbsp;all&nbsp;targets</a><br/>
@@ -12,9 +12,41 @@
       <a href="/find.html?dc.title=^<% $i %>*&amp;_sort=dc.title&amp;_count=9999&amp;_search=Search"><% uc($i) %></a>
 % }
      </p>
+% our $rec;
+% my $id = $r->param("id");
+% if (!defined $id) {
+%    $rec = undef;
+% } else {
+     <div class="panel2">
+      <b>This Record</b>
+      <br/>
+      <a href="<% xml_encode("/full.html?id=" . uri_escape($id))
+		%>">Show</a>
+      <br/>
+      <a href="<% xml_encode("/check.html?id=" . uri_escape($id))
+		%>">Test</a>
+      <br/>
+      <a href="<% xml_encode("/edit.html?id=" . uri_escape($id))
+		%>">Edit</a>
+      <br/>
+      <a href="<% xml_encode("/raw.html?id=" . uri_escape($id))
+		%>">XML</a>
+      <br/>
+<%doc><!-- Maybe this would be too heavyweight -->
+      <br/>
+% my $host = "bagel.indexdata.dk";
+% my $port = 210;
+      <a href="/find.html?net.host=<% $host %>&net.port=<% $port %>&_search=Search"
+	>All databases on this server</a>
+</%doc>
+     </div>
+% }
      <p>
-      <a href="/doc.html">Documentation</a>
+      <b>Documentation</b>
+      <br/>
+      <a href="/doc.html">Contents</a>
      </p>
+     <p>&nbsp;</p>
      <p>
       <a href="http://validator.w3.org/check?uri=referer"><img
         src="/valid-xhtml10.png"
-- 
1.7.10.4