Bug (v9.4) Manage history lists - dialog box resize

[IanOfYork]

The "Manage history lists" dialog box is resizable.
Making it wider is fine as the file list widens to fill the available space.
Making the box taller does not result in the file list extending.

[bbadmin]

This will be fixed in release 9.5. Thanks for reporting it.