Skip to content
  • Artur Grunau's avatar
    Add a "Tools" submenu to the main menu · dd068eea
    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