Commit message (Expand) | 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 |
* | - Reorganized init code | Jack Jansen | 1996-02-28 | 1 | -0/+6 |
* | Store default startup options in preference file or | Jack Jansen | 1996-02-21 | 1 | -0/+11 |
* | Added options for keeping window open on normal/error termination | Jack Jansen | 1995-10-27 | 1 | -0/+2 |
* | Python will now attempt (again) to create at least a minimal | Jack Jansen | 1995-08-31 | 1 | -9/+20 |
* | New file: list resource-ids in one place. | Jack Jansen | 1995-08-14 | 1 | -0/+54 |