I totally agree Quit and Preferences should not be part of the menu.
As you have mentioned to accomplish this Bug #1235830 and #1235880 need to be implemented.
I totally agree Quit and Preferences should not be part of the menu.
As you have mentioned to accomplish this Bug #1235830 and #1235880 need to be implemented.