[Top][All Lists]

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

Re: [Gnu-arch-users] Re: UI change proposal: *-tag -> *->id

From: Doran Moppert
Subject: Re: [Gnu-arch-users] Re: UI change proposal: *-tag -> *->id
Date: Fri, 19 Sep 2003 20:48:44 +1000
User-agent: Mutt/1.2.5i

On Fri, Sep 19, 2003 at 06:27:40PM +0900, Miles Bader wrote:
> Pau Aliagas <address@hidden> writes:
> > We could move file-tag to file-id, as suggested, but that would be more
> > confusing as you have to use "arch-tag" inside a file. Should we move it 
> > too to "file-id"?
> In fact, it is likely that `arch-tag:' will be replaced by `arch-id:'
> (it's necessary to use a new name for other reasons, and that seems to
> be the leading contender).

IMO, this should also be overridable with a regexp in =tagging-method.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]