overzealous history.clear()?

This is a long-standing gremlin, which exists up to at least 2.1.2 (on Linux, Java 1.5.0, also observer with Java 1.4)…

After executing history.clear() not only is the history cleared but also the subsequent form navigation does not appear in the history (i.e. on forms.a run a method which executes history.clear() thne navigates to forms.b, then navigate to forms.c - then you can go “back” to forms.b but not back to forms.a).

Not fatal, but somewhat annoying. Any chance of this getting fixed?

Alternatively, can/could form navigation (back/forward/window-menu) be selectively disabled?

Thanks,
Neale.