<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-signature">Is it normal, that the editing popup menu
      in 9.0.1 now looks like this (no longer filled out grey)? :<br>
      <br>
      <img src="cid:part1.04010401.03010703@physik.rwth-aachen.de"
        alt=""><br>
      -- <br>
      Chris Christoph P. U. Kukulies kukulies (at) rwth-aachen.de
    </div>
  </body>
</html>