On Fri, Jan 6, 2012 at 6:23 PM, Anders Logg <[email protected]> wrote: > On Fri, Jan 06, 2012 at 09:48:09AM +0100, Johannes Ring wrote: >> On Thu, Jan 5, 2012 at 10:28 PM, Anders Logg <[email protected]> wrote: >> > On Thu, Jan 05, 2012 at 10:20:25PM +0100, Johannes Ring wrote: >> >> On Thu, Jan 5, 2012 at 10:08 PM, Anders Logg <[email protected]> wrote: >> >> > Is it possible to get rid of the scrollbar? >> >> >> >> Yes, I can do that tomorrow. >> > >> > ok, great. >> >> Done. > > It disappeared now for the trunk buildbot, but the scrollbar is still > there for the other buildbots.
Not for me, but I have increased the height for all buildbots now. Does it look ok for you? Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
