Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [egit-dev] Re: [jgit-dev] Font sizes in gerrit

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.


Back to the top