Visualization bug: On visualization, resulting statement is dragged down to next line

[david-a-wheeler]

I think there's a minor bug in the visualization display. Let's say I'm using df-2. When visualization is not enabled I see on one line:

✓ 3 P : df-2 |- 2 = ( 1 + 1 )

However, when I enable visualization, there's an unnecessary line break after the justification text : df-2, resulting in:

✓ 3 P : df-2
|- 2 = ( 1 + 1 )
.... (visualization) ...

I think the line break shouldn't happen unless it's necessary.

If this was intentional, can this be a view option? E.g., "Visualizations force linebreak" or something? On small screens display space is a premium, yet I really do want to use the really awesome visualizations.

[expln]

This is just a consequence of the design. That's not a bug, I noticed it from the very beginning and decided to leave it as is. However, I didn't consider this an issue. I designed it in such a way that the statement and visualization are rendered inside of the same div element. Visualizations are often longer than statements. When you open a visualization, the div containing it becomes wider and browser moves it to the next line. So the statement which is also located in this div moves together with it.

I don't have time to change this. So this issue may persist for some longer period of time.