diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-17 15:05:43 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-17 15:05:43 +0000 |
| commit | 7fe83699ea3a76fe00da4a5df83122564b767f0f (patch) | |
| tree | 6a13fd55a3087c84266a71f0b2b7fd64d9f420d2 /w3m-doc | |
| parent | [w3m-dev 02867] mark URL for external URIs (diff) | |
| download | w3m-7fe83699ea3a76fe00da4a5df83122564b767f0f.tar.gz w3m-7fe83699ea3a76fe00da4a5df83122564b767f0f.zip | |
[w3m-dev 02870] don't kill migemo by SIGINT
* main.c (w3m_exit): init_migemo() to kill migemo
* search.c: #include <unistd.h>
* search.c (migemo_active): added
* search.c (migemo_pid): added
* search.c (init_migemo): migemo_active = use_migemo
* search.c (init_migemo): kill migemo_pid
* search.c (open_migemo): s/pid/migemo_pid/
* search.c (open_migemo): setpgrp()
* search.c (open_migemo): s/use_migemo/migemo_active/
* search.c (migemostr): ditto
* search.c (forwardSearch): ditto
* search.c (backwardSearch): ditto
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to 'w3m-doc')
0 files changed, 0 insertions, 0 deletions