<div>Hi,</div><div><br></div><div>BUG: <a href="https://bugs.freedesktop.org/show_bug.cgi?id=48387">https://bugs.freedesktop.org/show_bug.cgi?id=48387</a></div><div><br></div>Patch is at <a href="https://bugs.freedesktop.org/attachment.cgi?id=60199">https://bugs.freedesktop.org/attachment.cgi?id=60199</a><div>
<br></div><div>This patch to opengrok adds a &#39;remote&#39; 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)</div><div><br></div><div>This is useful as it allows us to move closer towards <a href="https://bugs.freedesktop.org/attachment.cgi?id=59591">https://bugs.freedesktop.org/attachment.cgi?id=59591</a><br clear="all">
<div><br></div><div>Thanks</div><div><br></div>-- <br>Andrew Higginson<br><br>
</div>