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