kcrisman
kcrisman
You were right that this was hard to find. > > - Each of those three visualizations is a link you can click to > generate the lattice. > >...
On Wed, Sep 9, 2020 at 10:17 AM Nathan Carter wrote: > Yes, the prominence of this feature is a good point. I'm going to retitle > this ticket to...
> > > Would you suggest a label (list of generators) on the existing graphical > visualization of the lattice too? > Hmm, that is a good question. I'd make...
For what it's worth, I agree with @nathancarter - but perhaps it should be made more clear in a clickable link or something on the visualization that you are using...
Another example from #1070 is letting people know that one can have an index as an immediate element of a division (after title), though perhaps warning that this isn't always...
May I request that this is a switch (even if default is on)? One may use `` but it might be on a different page than the actual definition, depending...
> There is no need for a switch: if you put an idx inside a term, then you get that term in the index. By definition, the term tag encloses...
I think I am still confused as the purpose, then, since the amount of work is the same. Will there be some (automatic, opt-in, opt-out) mechanism in the index that...
Thanks, that is a helpful example of a use case. (Currently I've been doing things like `FunFunFundefinition` in cases where there might be a lot of locators to slog through...
Of course, the print version won't know that (yet) ...