Commit Graph

7 Commits

Author SHA1 Message Date
Jack Jansen ab69eb9673 Added resource-ids for override preferences. 1996-04-04 15:39:42 +00:00
Jack Jansen e355c4568f - Allow setting of argc/argv in <option>-start dialog
- Set "ok" to be default button
1996-03-12 13:29:04 +00:00
Jack Jansen 01fbc68896 - Reorganized init code
- Fixed serious bug in code to get options from a resource
1996-02-28 15:42:47 +00:00
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