[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue 2916: Document \hide and \omit (issue 6851102)
From: |
tdanielsmusic |
Subject: |
Re: Issue 2916: Document \hide and \omit (issue 6851102) |
Date: |
Mon, 26 Nov 2012 21:53:09 +0000 |
On 2012/11/26 10:03:27, dak wrote:
I agree that the effect that this has here is not really harmonizing
well with
\override (which does not allow a context spec inside of context mods,
and will
not silently ignore Bottom overrides in non-Bottom contexts), so it
might make
sense to just drop this (not-really-yet-reached) design goal and the
associated
"picky" context modifications which are not really documented on the
user or
even the concept level.
I think you've chosen the best way forward here. Thanks.
So LGTM.
Trevor
http://codereview.appspot.com/6851102/
- Issue 2916: Document \hide and \omit (issue 6851102), tdanielsmusic, 2012/11/25
- Re: Issue 2916: Document \hide and \omit (issue 6851102), thomasmorley65, 2012/11/25
- Re: Issue 2916: Document \hide and \omit (issue 6851102), tdanielsmusic, 2012/11/26
- Re: Issue 2916: Document \hide and \omit (issue 6851102), dak, 2012/11/26
- Re: Issue 2916: Document \hide and \omit (issue 6851102),
tdanielsmusic <=
- Re: Issue 2916: Document \hide and \omit (issue 6851102), dak, 2012/11/26
- Re: Issue 2916: Document \hide and \omit (issue 6851102), tdanielsmusic, 2012/11/27