| commit | 3d7f6bd3b700023f78015620b59701e2f09827e0 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 26 16:40:10 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 26 16:40:10 1995 +0000 |
| tree | 0e1e0c2e7d859b7e19ee6b1ad527037fd26b7b3d | |
| parent | fdbc79e77963bfb66ac3bc3732ac112c9096075f [diff] |
Added a global 'stdwin is active' flag.