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