patches/remote-attribute.diff       |   29 +++++++++++++++++++++++++++++
 patches/toadd/libreoffice/style.css |   15 +++++++++++++++
 2 files changed, 44 insertions(+)

New commits:
commit 35c5c6afcc0a5783d277ad6ba9417f3b9823f7b8
Author: Andrew Higginson <at.higgin...@gmail.com>
Date:   Thu Apr 19 18:16:20 2012 +0200

    Update opengrok wrt fdo#48387
    
    This patch to opengrok adds a 'remote' id the the body tag when
    ?remote=true is given in the URL (and as a result in CSS, hides some extra
    chrome, like the header)
    
    This is useful as it allows us to move closer towards
    https://bugs.freedesktop.org/attachment.cgi?id=59591

diff --git a/patches/remote-attribute.diff b/patches/remote-attribute.diff
new file mode 100644
index 0000000..b1ae393
--- /dev/null
+++ b/patches/remote-attribute.diff
@@ -0,0 +1,29 @@
+--- a/web/search.jsp   2012-04-17 17:18:14.147097100 +0100
++++ b/web/search.jsp   2012-04-17 17:12:42.679094963 +0100
+@@ -46,11 +46,12 @@
+ org.apache.lucene.queryParser.*"
+ %><%@ page session="false" %><%@ page errorPage="error.jsp" %><%
+ Date starttime = new Date();
+-String q    = request.getParameter("q");
+-String defs = request.getParameter("defs");
+-String refs = request.getParameter("refs");
+-String hist = request.getParameter("hist");
+-String path = request.getParameter("path");
++String remote   = request.getParameter("remote");
++String q        = request.getParameter("q");
++String defs     = request.getParameter("defs");
++String refs     = request.getParameter("refs");
++String hist     = request.getParameter("hist");
++String path     = request.getParameter("path");
+ 
+ %><%@ include file="projects.jspf" %><%
+ String sort = null;
+@@ -266,7 +267,7 @@
+          RuntimeEnvironment environment = RuntimeEnvironment.getInstance();
+          environment.register();
+           %><%@ include file="httpheader.jspf" %>
+-<body>
++<body <% if( remote != null && remote.equals("true") ) { %> id="remote" <% } 
%> >
+ <div id="page">
+     <div id="header"><%@ include file="pageheader.jspf" %></div>
+ <div id="Masthead"></div>
diff --git a/patches/toadd/libreoffice/style.css 
b/patches/toadd/libreoffice/style.css
index 1096dc0..712c0ed 100644
--- a/patches/toadd/libreoffice/style.css
+++ b/patches/toadd/libreoffice/style.css
@@ -215,3 +215,18 @@ strike.d{background-color:#bbddbb; 
margin-right:.2em;padding-left:1em;padding-ri
 
 span.blame { }
 span.blame-hidden { display: none }
+
+
+/* Remote Styles */
+
+body#remote {
+    background:transparent !important
+}
+
+body#remote #page {
+    width:100% !important
+}
+
+body#remote #header, body#remote #Masthead, body#remote #menu, body#remote 
#Footer {
+    display:none !important
+}
_______________________________________________
Libreoffice-commits mailing list
Libreoffice-commits@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/libreoffice-commits

Reply via email to