ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Top offset of tree window #74

Closed mbecker20 closed 4 years ago

mbecker20 commented 4 years ago

Annotation 2020-07-20 160510

This is happening because the tree window has position: 'absolute', and is having its top style set by reading the offsetHeight of the current of the ref I have given the div holding the top items (down to undo buttons). On first render, though, ref.current is still undefined. Sometimes it automatically rerenders immediately, producing the expected result. @McTano any ideas on how to deal with this?

mbecker20 commented 4 years ago

solved with #75