| commit | 105b9c7de40b62b19725fa16f876c382e677bb64 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Mon Oct 19 02:19:30 1998 +0000 |
| committer | Guido van Rossum <guido@python.org> | Mon Oct 19 02:19:30 1998 +0000 |
| tree | 155d45ab4e45ea8abb3c1cf6219362b23ab32bf6 | |
| parent | 0e5088fcc44b42879b728a495456f4b6d4181de0 [diff] |
Add optional 'force' argument (default 0) to load_dict(). If set, redo the display even if it's the same dict.