Loading
Loading...
GUI: not all the widgets in a tool bar are visible in the corresponding context menu (#2395)