use native gnotebook() functionality to add icons to tabs
depends on latest GIT
use find-and-replace icon for Filter tab