Add "Preferences..." menu to the Console view#2437

iloveeclipse merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

iloveeclipse:issue_2436iloveeclipse/eclipse.platform:issue_2436Copy head branch name to clipboard