<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">On 11/11/2014 10:38, Davide DB wrote:<br>
    </div>
    <blockquote
cite="mid:CAD0Dsr3ar1jkS=RXR2YUv_HWbQo89jnDtsfg2Qp6-hAeTvDdfw@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">On Tue, Nov 11, 2014 at 7:36 AM,
            Miika Turkia <span dir="ltr"><<a moz-do-not-send="true"
                href="mailto:miika.turkia@gmail.com" target="_blank">miika.turkia@gmail.com</a>></span>
            wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
              <div dir="ltr">
                <div class="gmail_extra">
                  <div class="gmail_quote"><span class="">
                      <div><br>
                      </div>
                    </span>
                    <div>My intuition would add buttons for selecting
                      all and clearing all filters. And possibly one for
                      hiding the filter dialog as well. But do GUI
                      people might think differently?<span class=""><font
                          color="#888888"><br>
                          <br>
                        </font></span></div>
                  </div>
                </div>
              </div>
            </blockquote>
            <div><br>
            </div>
            <div>You are correct.</div>
            <div><br>
            </div>
            <div>This was a sketch where everything started. </div>
            <div>There is a button:</div>
            <div><br>
            </div>
            <div>to clear applied filters;</div>
            <div>to close and clear everything;</div>
            <div>to minimize the search panel;<br>
            </div>
            <div>to open the "stats" page giving info on the filtered
              dives. </div>
            <br>
          </div>
          <div><br>
          </div>
          -- <br>
          <div class="gmail_signature">Davide<br>
            <a moz-do-not-send="true"
              href="https://vimeo.com/bocio/videos" target="_blank">https://vimeo.com/bocio/videos</a></div>
        </div>
      </div>
    </blockquote>
    <br>
    We need to remain focused. Let us, for the moment, not talk about
    what we would like in general and what version 5.0 might have. Let's
    talk specifically about what version 4.3 should have so that we can
    get the immediate done while putting the least possible pressure on
    Tomaz. Once  we have decided that 4.3 is going with the present
    filter panel, that gives me the information to generate
    documentation for the manual and I know what to do. Then, the only
    info I need is the complete information for the present operation of
    the filter panel (key shortcuts, etc)  :-)<br>
    Kind regards,<br>
    willem<br>
    <br>
  </body>
</html>