remove a bit of debugging code that troubled linux, re #9868
Merge branch 'feature/9868_Workspace_FilterBox' into develop