widget_tree、widget_terminal の修正