<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">On 20/04/2015 15:34, Mattias Gaertner

      wrote:<br>

    </div>

    <blockquote cite="mid:20150420163459.69f465e7@limapholos.matflo.wg"

      type="cite">

      <pre wrap="">On Mon, 20 Apr 2015 15:30:17 +0100

Martin Frb <a class="moz-txt-link-rfc2396E" href="mailto:lazarus@mfriebe.de"><lazarus@mfriebe.de></a> wrote:

</pre>

      <blockquote type="cite">

        <pre wrap="">On 20/04/2015 15:26, Mattias Gaertner wrote:

</pre>

        <blockquote type="cite">

          <pre wrap="">Maybe showing the progress line can be made optional.

</pre>

        </blockquote>

        <pre wrap="">

+1

I'd like that too. I dont mind the scrolling, but I always fail to spot 

the header change, and don't know compile has finished.

</pre>

      </blockquote>

      <pre wrap="">

When the progress line is not showing, then *only* the header is left

to show the finish.

Maybe you mean +1 to show a finish line?

</pre>

    </blockquote>

    Yes +1 to a finish line. For me there are also the 2 "Hint" lines,

    so the header is not at the bottom, and the top part of the window

    often is overlapped by other windows.<br>

    <br>

    <img src="cid:part1.05080508.05060908@mfriebe.de" alt=""><br>

    <br>

  </body>

</html>