Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added resource-ids for override preferences. | Jack Jansen | 1996-04-04 | 1 | -1/+7 |
| | |||||
* | - Allow setting of argc/argv in <option>-start dialog | Jack Jansen | 1996-03-12 | 1 | -0/+1 |
| | | | | - Set "ok" to be default button | ||||
* | - Reorganized init code | Jack Jansen | 1996-02-28 | 1 | -0/+6 |
| | | | | - Fixed serious bug in code to get options from a resource | ||||
* | Store default startup options in preference file or | Jack Jansen | 1996-02-21 | 1 | -0/+11 |
| | | | | app. | ||||
* | Added options for keeping window open on normal/error termination | Jack Jansen | 1995-10-27 | 1 | -0/+2 |
| | | | | Moved whole exit-handling of console window here (from pythonrun.c) | ||||
* | Python will now attempt (again) to create at least a minimal | Jack Jansen | 1995-08-31 | 1 | -9/+20 |
| | | | | preferences file if it is missing. | ||||
* | New file: list resource-ids in one place. | Jack Jansen | 1995-08-14 | 1 | -0/+54 |