| commit | 7b2812211af5c99e7c582ea2e6a50b03cf0a0e3e | [log] [tgz] |
|---|---|---|
| author | Barry Warsaw <barry@python.org> | Tue Apr 27 15:56:53 1999 +0000 |
| committer | Barry Warsaw <barry@python.org> | Tue Apr 27 15:56:53 1999 +0000 |
| tree | bfd54e741b9429afc91c9b89cd6ab4a8603b2573 | |
| parent | f5e98572e58aa75a2a6ea5364576db5aaac212e5 [diff] |
When selecting a radio button in the TextViewer (to change a specific text widget attribute), the color the attribute currently has is set in the main widget.