Jack Jansen
|
a4b7e14df8
|
Store default startup options in preference file or
app.
|
1996-02-21 16:46:57 +00:00 |
Jack Jansen
|
0168f279cc
|
Added options for keeping window open on normal/error termination
Moved whole exit-handling of console window here (from pythonrun.c)
|
1995-10-27 13:32:30 +00:00 |
Jack Jansen
|
41fa7ea719
|
Python will now attempt (again) to create at least a minimal
preferences file if it is missing.
|
1995-08-31 13:59:36 +00:00 |
Jack Jansen
|
c2e6dd8179
|
New file: list resource-ids in one place.
|
1995-08-14 12:34:42 +00:00 |