dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

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?

Johannes