<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-15"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
I had a look at that fix, and it seems like the proper way to do it:<br>
longer than my code, but much easier to understand, and still<br>
a lot shorter than the original code.<br>
<br>
--<br>
Oliver<br>
<br>
Am 07.03.2011 16:44, schrieb Jö Fahlke:
<blockquote cite="mid:20110307154436.GD3979@paranoia" type="cite">
<pre wrap="">Am Mon, 7. Mar 2011, 16:38:41 +0100 schrieb Oliver Sander:
</pre>
<blockquote type="cite">
<pre wrap="">Hi Markus!
I don't think this is really necessary. It should be easy to adapt the
hack in the gmshreader to work with the new interface. I could have
a look, but it may take a few days.
</pre>
</blockquote>
<pre wrap="">
Actually, I think Adrian just committed a fix...
Bye,
Jö.
</pre>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
Dune mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Dune@dune-project.org">Dune@dune-project.org</a>
<a class="moz-txt-link-freetext" href="http://lists.dune-project.org/mailman/listinfo/dune">http://lists.dune-project.org/mailman/listinfo/dune</a>
</pre>
</blockquote>
<br>
</body>
</html>