| commit | 07ec8967078a966365a44db301a9063f70c7f474 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Jan 28 22:02:47 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Jan 28 22:02:47 1999 +0000 |
| tree | f97b034c2f3489958e47ae03a3cb41c5312a745c | |
| parent | 85ef9dce9f4b1982c1f26daa0fe9f4af08e124a6 [diff] |
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.