| commit | 99aabe30cedd708c50450938739aff7999b86f4e | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Feb 17 16:14:16 2000 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Feb 17 16:14:16 2000 +0000 |
| tree | 9cc76175b78b3238f889c6b846a75aa830594bcb | |
| parent | 795e189d28f7afd9f4e864a998658e3302efb59e [diff] |
Add primitive customization of window size and font. A few alternative selections can be made by changing "if 0" to "if 1".