Bunch of updates necessary due to recent changes; added docs for File
menu, command line and color preferences.
G
Guido van Rossum committed
06b787bdd1087d62adb9e9b9684a3e032a1f03b7
Parent: dc7bfc4
menu, command line and color preferences.