Re: gnatsweb bug (?) with Back button

[Gerald Pfeifer]

On 10 Feb 2001, Tom Tromey wrote:
> 5 Now hit the Back button twice.  I expect to be taken back to the
>   main page.  However, I see the "thanks" page again instead.
>   This is the bug.

Hmm, for me that has been working whenever I used our installation on
gcc.gnu.org.

> 6 If I hit reload then the right page appears
>   Maybe this is a netscape bug and not a gnatsweb bug?
>   It is hard to tell.

I'm using Netscape 4.76, perhaps that makes a difference?

> It would also be nice if the "thanks" page in step 4 had a button you
> could click to go back to the main page.

Agreed, yes. That'd be a useful enhancement.

Gerald
-- 
Gerald "Jerry" address@hidden http://www.dbai.tuwien.ac.at/~pfeifer/