dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

On Mon, Jan 09, 2012 at 10:44:13AM +0100, Johannes Ring wrote:
> On Fri, Jan 6, 2012 at 6:23 PM, Anders Logg <logg@xxxxxxxxx> 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 <logg@xxxxxxxxx> 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 <logg@xxxxxxxxx> 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?

Yes. Thanks!

--
Anders