Re: [egit-dev] Re: [jgit-dev] Font sizes in gerrit

["Shawn O. Pearce" <spearce@xxxxxxxxxxx>]

Alex Blewitt <alex.blewitt@xxxxxxxxx> wrote:
> I'd say ditch the header. It's always in the way for me at various  
> places and doesn't really fit well even without the font size.

I can't.  EMO wants it.

An alternative is, sig-in to your own user account, then go to
Settings and toggle the "Show Site Headers/Footers" flag on the
main settings tab.

:-)

> The alternative would be to use an iframe, which is what the Eclipse  
> help system uses.

Yea, that's another idea.  Never occurred to me either.  Thanks.

-- 
Shawn.