// set the status text anyhow, even if the string is empty: this ensures
// that it is cleared when the mouse leaves the toolbar or enters a tool
// without help
// set the status text anyhow, even if the string is empty: this ensures
// that it is cleared when the mouse leaves the toolbar or enters a tool
// without help