associate history of search/replace boxes to workspace

[Vincent Wartelle]

I work on different projects, each of them has
multiple files, so I built different workspaces.

It would be great if the history of search / replace boxes belonged to the
workspace, rather than being global: it would avoid to change the parameters "In Files.. / In Folder" each time you switch from a project to another.


Vincent.