doc +gtk tools
