small UI fixes widget_tools