[Date Prev][Date Next][Thread Prev][][Date Index][Thread Index]

Re: bookmark file not reloaded until w3m restart

Boruch Baum wrote:

> On 2019-04-15 05:46, Emanuel Berg wrote:
>> As for the bookmarks issue, since that is an
>> ordinary HTML file, I'll create a HTML file on
>> disk and edit that, and see if the same thing
>> happens...
> The bookmarks file is an ordinary html file
> on disk. On my system, it's stored at
> ~/.w3m/bookmark.html

Yes, I know. So I'd thought I'd see if the same
thing happens with _any_ ordinary HTML file...

underground experts united