| commit | 0072b8d994264ab413d5e52ddfe4a666a671aa2f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu May 07 13:08:58 1998 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu May 07 13:08:58 1998 +0000 |
| tree | c5bc3ad273e46e7063bfa642f1da90c7b6d0a9fa | |
| parent | 4775d0a353b4983191925cc3d474fb0c324621dd [diff] |
An applet with Popt and GUSI preferences but without alis resource didn't work, because the resource file chain was incomplete when we tried to open the preference file. Fixed.