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
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
