Promote section of Tools menu to the main menu bar

Registered by Danil Sokolov

Some of the Tools sections are used frequently (e.g., Verification and Synthesis). It would be more convenient to have them in the main menu bar.

The easiest way to achieve it is to promote tools whose sections start with "!" to the main menu. The others should stay under "Tools" menu.

Blueprint information

Status:
Complete
Approver:
None
Priority:
Medium
Drafter:
Danil Sokolov
Direction:
Needs approval
Assignee:
Danil Sokolov
Definition:
Approved
Series goal:
None
Implementation:
Implemented
Milestone target:
milestone icon 3.0.5
Started by
Danil Sokolov
Completed by
Danil Sokolov

Sprints

Whiteboard

(?)

Work Items

This blueprint contains Public information 
Everyone can see this information.

Subscribers

No subscribers.