5:28 PM
create line numbers and justifications/.style={ % sort the nodes top-to-bottom, left-to-right % the plan is to walk this sorted nodewalk and increase the line number when y changes sort by={y,-x()}, for sort'={filter={tree}{!strequal(content(),"dont")}}{ % create the first line number & justification manually % (nodewalk step !back doesn't work on the first node) tempcounta'=1, new line number/.process args={RO}{tempcounta}{y}, new justification/.process args={ROO}{tempcounta}{just}{y},
define long step={proof tree camau}{}{% from saso's code (forest2-saso-ptsz.tex) root, sort by={y,-x()}, sort'={filter={descendants}{proof_tree_rhifo()==1 && proof_tree_phantom()==0}} }, proof tree creu nodiadau={% if={((line_numbering)==1) || ((justifications)==1)}{% count the levels if necessary proof tree rhif lefelau'=0, for proof tree camau={% if={level()>0}{% if={y()<y("!back")}{% proof tree rhif lefelau'+=1,
5:47 PM
(i) I've already got
undef option
(I needed for some compat
key). I could split off a part of it into make option readonly
. This way, you could set the option value in the usual way, but then prevent further changes by making it readonly.
4 hours later…
9:58 PM
@SašoŽivanović This would be helpful. For now, I've buried it by using a prefix I'm saying marks internal non-user commands. But it would be nice to allow users to read it. (i) wouldn't help in this case as I probably might need to change it. I don't want to make it so read only I can't change it. I just don't want to expose it to inadvertent changes.
@SašoŽivanović What I've currently got is actually working pretty well right now. I guess the filter would be faster, probably? I did try creating the line numbers as I counted the levels, but the problem is that stuff I'm doing later depends on each line number being the child of the previous one. (Because the way I'm getting things moved gets
y
wrong initially and corrects it later after the line numbers and justifications are created. I couldn't make your way work without your results.)
1 hour later…
11:34 PM
« first day (135 days earlier) ← previous day next day → last day (424 days later) »