tree f97b034c2f3489958e47ae03a3cb41c5312a745c
parent 85ef9dce9f4b1982c1f26daa0fe9f4af08e124a6
author Guido van Rossum <guido@python.org> 917560967 +0000
committer Guido van Rossum <guido@python.org> 917560967 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4012501

Move menu/key binding code from Bindings.py to EditorWindow.py,
with changed APIs -- it makes much more sense there.
Also add a new feature: if the first character of a menu label is
a '!', it gets a checkbox.  Checkboxes are bound to Boolean Tcl variables
that can be accessed through the new getvar/setvar/getrawvar API;
the variable is named after the event to which the menu is bound.