[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add new functions to mark/unmark/delete all bookmarks
From: |
Lars Ingebrigtsen |
Subject: |
Re: Add new functions to mark/unmark/delete all bookmarks |
Date: |
Fri, 24 Jul 2020 17:18:46 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> I assure you that I never looked into the code of Bookmark+, hence
>> there is no code I borrowed in writing my patch to add some common
>> features to bookmark.el. I'm sorry if people think things that way.
>
> His code is covered by the GPL *and* he signed the copyright paperwork,
> so I don't think his issue is the reverse: he'd rather that the "new
> code" be taken from his to reduce the difference between bookmark.el and
> bookmark+.el.
And I don't think that's a reasonable expectation for Drew to have --
there's no requirement for people working on bookmark.el to look at the
bookmark+.el code.
Matthew's code looks good to me, and seems like a real improvement to
bookmark.el, but I looked at the copyright assignment papers, and
apparently Matthew's only assigned copyright for wget, and not for
Emacs? Or am I misreading the file?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/23
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/23
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks,
Lars Ingebrigtsen <=
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/24
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Stefan Monnier, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Eli Zaretskii, 2020/07/28
- Re: Add new functions to mark/unmark/delete all bookmarks, Matthew White, 2020/07/28
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24
- RE: Add new functions to mark/unmark/delete all bookmarks, Drew Adams, 2020/07/24