[PATCH] Opengrok remote attribute

[Andrew Higginson]

Hi,

BUG: https://bugs.freedesktop.org/show_bug.cgi?id=48387

Patch is at https://bugs.freedesktop.org/attachment.cgi?id=60199

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

Thanks

-- 
Andrew Higginson
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freedesktop.org/archives/libreoffice/attachments/20120417/c80e2fa8/attachment.htm>