I don't think it is safe to label this as minor. The way a person processes on screen text can vary greatly. There are legitimate accessibility implications for those with vision disability (tunnel vision, dyslexia). Then there are people like myself without a disability that simply struggle with "busyness" and overcrowded text.
To help users organize and focus on relevant information, with or without disability, it is important to minimize visual redundancy. What would on the surface appear to be a "minor" issue has a gargantuan accumulative impact due to frequency of use of headline directives. If a headline directive can be represented as an icon without affecting Leo's core (minimizing the amount of work required to implement the change) then the entire Leo community stands to benefit greatly and the value of the change would be well worth the effort. On Friday, August 7, 2015 at 7:06:21 AM UTC-4, Edward K. Ream wrote: > > > > On Thu, Aug 6, 2015 at 3:04 PM, 'Terry Brown' via leo-editor < > [email protected] <javascript:>> wrote: > >> On Thu, 6 Aug 2015 12:25:40 -0700 (PDT) >> john lunzer <[email protected] <javascript:>> wrote: >> >> > Directives in node headers cause a great deal of visual clutter, >> > making it more difficult to navigate expansive trees filled primarily >> > with @clean/@file/@edit nodes. >> >> I agree completely, rather than seeing: >> >> @clean /home/tbrown/projects/pyth| >> @edit /home/tbrown/misc/maps_and_| >> @nosent /home/tbrown/projects/rec| >> >> I'd like to see >> >> 𝓒 …/somecode.py >> 𝓔 …/file.js >> 𝓝 …/someelse.txt >> >> i.e. icons for the directive and path hiding / compression. >> Maybe even the …/ is too much :-) >> > > I think this is a minor issue. > > If you do it, make sure that p.isAnyAtFileNode and related methods > continue to work. In fact, altering these methods probably is the only way > to retain compatibility with existing code. > > Be sure to run all unit tests if you change any of these methods. There > are non-trivial implications. > > EKR > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
