#168 The "Search" menu

[Christoph Schiller]

In the SEARCH menu every item should be a verb and be about searching. That leads to the following proposal:

"Search matching lines" instead of "Matching lines"
"Use the Pin" instead of "The Pin"
Question: Should not all "Go.." subitems be lifted one level into the Search menu directly?

The item: "Find repeated words" could be added here.

[Bernard Desgraupes]

This is partly fixed now:

• Matching Lines renamed as Find Matching Lines
• Moved Find Repeated Words to the Search menu

I'm leaving the The Pin menu as is at the moment. Concerning the Go To menu, the general idea is to avoid lengthy menus with many items. Grouping functionalities in submenus make the interface less cumbersome.

Changes committed to the repository (rev. 1506 (sourceforge.net)).