Improved our handling of a double click in TreeViewWidget.