[Date Prev][Date Next][Thread Prev][Thread Next][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
http://user.it.uu.se/~embe8573