Add a quit option on the menu

[GoogleCodeExporter]

Many people would probably use it and we should hook it to a shortcut like 
Ctrl+Q. We could put inside "Library".

Original issue reported on code.google.com by andresgattinoni on 12 Feb 2011 at 2:00

[GoogleCodeExporter]

This issue was updated by revision bbab56728d.

I added the menu item in the main.ui file. Please review/comment and then I'll 
merge it to the integrate branch.

Original comment by andresgattinoni on 12 Feb 2011 at 2:18

• Changed state: Started

[GoogleCodeExporter]

This issue was closed by revision 4d825b500c.

Original comment by andresgattinoni on 12 Feb 2011 at 2:36

• Changed state: Fixed