
<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

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

    <font face="Helvetica, Arial, sans-serif">Greetings,<br>

      <br>

      The Workspace switcher icon is OK. I made the mistake to load it

      twice onto the panel, then the problem shows up. Sorry!<br>

      <br>

      Many thanks!<br>

      Best regards,<br>

    </font>

    <pre class="moz-signature" cols="72">-- 

François P. Rotzinger

Privat-docent (lecturer)

Ecole Polytechnique Fédérale de Lausanne (EPFL)

Institut des Sciences et Ingénierie Chimiques (ISIC)

Station 6

CH-1015 Lausanne

Switzerland</pre>

  </body>

</html>