Loading
Loading...
GUI: widgets in tool bars don't get listed in the corresponding context menu (#2395)