Re: [Bug-gnubg] GNUbg for Windows 020805 - .htm and .html

[Joern Thyssen]

On Thu, Aug 08, 2002 at 09:34:40AM +0200, Øystein O Johansen wrote
> 
> >> After a new installation:
> >> (and always using the default values of GNUbg)
> >>
> >> File... Export... Game HTML
> >> first time used:
> >> a file with *.HTM* extension is created
> >>
> >> Once File... Export... Match (or Session) is done
> >> (and proposed extension here is .HTML),
> >>
> >> Next time one does
> >> File... Export... Game HTML
> >> a file with *.HTML* extension is created
> >
> > Øystein, can you reproduce this on Windows?
> 
> I don't think I understand the problem. Can you elaborate?

Apparently the suggested extension is sometimes .htm instead of .html.

Jørn

-- 
Joern Thyssen, PhD
Vendsysselgade 3, 3., DK-9000 Aalborg, Denmark
+45 9813 2791 (private) / +45 2077 2689 (mobile) / +45 9633 7036 (work)