[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #61710] [me] $v and $V are in the wrong namespace
From: |
Dave |
Subject: |
[bug #61710] [me] $v and $V are in the wrong namespace |
Date: |
Mon, 10 Jan 2022 01:40:13 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Firefox/45.0 |
Follow-up Comment #14, bug #61710 (project groff):
[comment #11 comment #11:]
> [comment #7 comment #7:]
> > Any changes to .sz can then be considered as a separate
> > enhancement. (At least, from a UI perspective. From a coding
> > perspective, they may still be coupled more tightly than that,
> > and you may want to consider the issues in tandem.)
>
> Right. I want to get the most sensible UI I can within the
> constraints of maintainability, and then worry about the
> implementation. (One can misjudge such things, of course, and
> have to go back to the UI question with an "I'm sorry, that
> turned out to be intractable".)
I'm afraid I can't quite glean from this whether you think the .sz changes, if
any, merit a separate feature request, or are entangled enough with the
register-space redesign that they should continue to be discussed here.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61710>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #61710] [me] $v and $V are in the wrong namespace, G. Branden Robinson, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, Dave, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, Dave, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, Dave, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, G. Branden Robinson, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, G. Branden Robinson, 2022/01/05
- [bug #61710] [me] $v and $V are in the wrong namespace, Dave, 2022/01/07
- [bug #61710] [me] $v and $V are in the wrong namespace, Dave, 2022/01/09
- [bug #61710] [me] $v and $V are in the wrong namespace,
Dave <=
- [bug #61710] [me] $v and $V are in the wrong namespace, G. Branden Robinson, 2022/01/22