diff options
author | Eduardo Chappa <chappa@washington.edu> | 2017-09-30 11:59:12 -0600 |
---|---|---|
committer | Eduardo Chappa <chappa@washington.edu> | 2017-09-30 11:59:12 -0600 |
commit | 18b1d6453b921627ee4802a33d9e22aa0dcaaf0a (patch) | |
tree | c6fe81ab2adbcb45e2666459373a99ff79614475 /pico/pico.c | |
parent | 4681adf1bb1d0a1313706d7d96a3ef930ebe5fd9 (diff) | |
download | alpine-18b1d6453b921627ee4802a33d9e22aa0dcaaf0a.tar.xz |
* Add -dict option to PC-Pico, which allows users to choose a dictionary
when spelling. Sample usage: -dict "en_US, de_DE, fr_FR".
Diffstat (limited to 'pico/pico.c')
-rw-r--r-- | pico/pico.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/pico/pico.c b/pico/pico.c index 9260d34f..9056853a 100644 --- a/pico/pico.c +++ b/pico/pico.c @@ -804,8 +804,17 @@ wquit(int f, int n) } if(s == TRUE){ - if(filewrite(0,1) == TRUE) + if(filewrite(0,1) == TRUE){ +#ifdef _WINDOWS + if(dictionary != NULL){ + int i; + for(i = 0; dictionary[i] != NULL; i++) + fs_give((void **)&dictionary[i]); + fs_give((void **)dictionary); + } +#endif /* _WINDOWS */ wquit(1, 0); + } } else if(s == ABORT){ emlwrite(_("Exit cancelled"), NULL); |