GUI: move visit-web-doc from WelcomeView to Help pull-down menu
Remove the button "Website" from the Welcome view.
Instead, add an entry "visit web docs" on top of the main Help menu.
Remove the button "Website" from the Welcome view.
Instead, add an entry "visit web docs" on top of the main Help menu.
added GUI label
added standardize + 1 deleted label
mentioned in commit a22d8242
mentioned in merge request !35 (merged)
mentioned in commit 4638142f
closed with merge request !35 (merged)
closed with commit a22d8242