| commit | 111fdcf86cb5920d694b7dcf1c930a098d1a0fde | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 16 14:34:26 1996 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 16 14:34:26 1996 +0000 |
| tree | cb19db4579986425caf9f8b5c9244e21fd5a1628 | |
| parent | ded81a1ffe5c4398968888715b98b618f0604c37 [diff] |
Added correct handling of cut/paste menu enabling, scroll bars