I managed to get the nodes stacking properly in a custom reimplementation.
I think this is definitely the way to go, since the existing solutions are mostly over-complicated and don't address our use case. This approach makes it easy to collapse any stacked premises directly on top of each other instead of spacing them out as separate nodes, which is what we actually want.
For now the lines are just a forward slash for left child and a backslash for the right child. We'll probably want to improve on that so we can get longer ones for deeper trees.
I managed to get the nodes stacking properly in a custom reimplementation. I think this is definitely the way to go, since the existing solutions are mostly over-complicated and don't address our use case. This approach makes it easy to collapse any stacked premises directly on top of each other instead of spacing them out as separate nodes, which is what we actually want.
For now the lines are just a forward slash for left child and a backslash for the right child. We'll probably want to improve on that so we can get longer ones for deeper trees.
Let me know what you think.