| 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 |
