mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Tue, 12 Mar 2002, David Allouche wrote:

> On Tuesday 12 March 2002 20:32, Joris van der Hoeven wrote:
> > If you encounter a really important bug, then I can still fix it.
> 
> At least three really important bugs left.
> 
> First one:
> 
>   Set margins menu item is still out of sync with how TeXmacs works, and do 
> not set the right margins. I already sent a simple fix for this problem.
>   It can be found at:
> http://ddaa10.free.fr/texmacs/patch/0.3.5.14/set_margins.patch

This patch will be applied later, but the bug does not seem very severe to me.

> Second one:
> 
>   Create a new document, select paper media type, type hello world, insert 
> page break or new page, backspace, "Segmentation fault".

This is an annoying bug, which you should have put on the bug list at alqua.
It is not sufficiently critical to delay the release of version 1.0 any 
further.

> Third one:
> 
>   It is described at
> http://alqua.com/tmresources/bug%20-%20Command%20line%20open%20does%20not%20restore%20autosaved
>   It is important because it can cause loss of data.

This "bug" would demand to much time to be corrected now.
Also, it is not very clear how to correct it.

So, since nobody found a really critical bug (i.e. texmacs hangs when
you launch it), I will proceed with the release.

Thanks, Joris