
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">

  </head>

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

    Hi Folks,<br>

    <br>

    I fixed the Taskbar bug I introduced yesterday. Thanks for

    reporting!<br>

    <br>

    I also added a new folder for optional fonts data. Right now it

    contains several sizes of DejaVu Sans Mono, but we can add there any

    other font you find desirable (if it has a good license). Doing <br>

    <br>

    <span style="color: rgb(150, 152, 150); font-family:

      Consolas,'Liberation Mono',Menlo,Courier,monospace; font-size:

      12px; font-style: normal; font-variant: normal; font-weight:

      normal; letter-spacing: normal; line-height: 16.8px; text-align:

      start; text-indent: 0px; text-transform: none; white-space: pre;

      widows: 1; word-spacing: 0px; display: inline ! important; float:

      none; background-color: rgb(255, 255, 255);"> StrikeFont install:

      'DejaVu Sans Mono'</span><br>

    <br>

    loads it.<br>

    <br>

    Cheers,<br>

    Juan Vuletich<br>

  </body>

</html>