-
Artur Grunau authored
The "Tools" submenu lists all standard docked tools offered by the application (i.e. "Pipeline tree", "Pipeline properties", and "Log viewer"), and lets the user toggle their visibility.
dd068eea
The "Tools" submenu lists all standard docked tools offered by the application (i.e. "Pipeline tree", "Pipeline properties", and "Log viewer"), and lets the user toggle their visibility.