[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Difference :header-args: and :header-args+:?
From: |
Achim Gratz |
Subject: |
Re: [O] Difference :header-args: and :header-args+:? |
Date: |
Tue, 09 Sep 2014 15:57:50 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.93 (gnu/linux) |
Rainer M Krug writes:
> If this is the case, I would opt, in addition to the + operator, to
> have a - operator, which *removes* properties from the property set
> :header-args.
Properties don't work that way, they're just strings.
> Initially I thought, to use :header-args+ instead of :header-args would
> work, but I was wrong (see below).
It's supposed to work, but doesn't due to a bug in the property API.
Regards,
Achim.
--
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+
Waldorf MIDI Implementation & additional documentation:
http://Synth.Stromeko.net/Downloads.html#WaldorfDocs
- [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/04
- Re: [O] Difference :header-args: and :header-args+:?, Aaron Ecay, 2014/09/04
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/05
- Re: [O] Difference :header-args: and :header-args+:?, Aaron Ecay, 2014/09/05
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/08
- Re: [O] Difference :header-args: and :header-args+:?, Achim Gratz, 2014/09/08
- Re: [O] Difference :header-args: and :header-args+:?, Aaron Ecay, 2014/09/08
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/09
- Re: [O] Difference :header-args: and :header-args+:?,
Achim Gratz <=
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/09
- Re: [O] Difference :header-args: and :header-args+:?, Achim Gratz, 2014/09/09
- Re: [O] Difference :header-args: and :header-args+:?, Aaron Ecay, 2014/09/17
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/09
- Re: [O] Difference :header-args: and :header-args+:?, Rainer M Krug, 2014/09/09
- Re: [O] Difference :header-args: and :header-args+:?, Achim Gratz, 2014/09/08