Open akoehn opened 9 years ago
Original comment by Alexander Koller (Bitbucket: akoller, GitHub: akoller).
In fact, the layout of the language window should be fine-tuned. Currently the window as a whole can no longer change its size in response to its contents being validated, because we have pinned down getPreferredSize. A consequence of this is that sometimes the vertical boundary between the individual interpretations shifts a few times as we scroll through the first few derivations.
Original report by Alexander Koller (Bitbucket: akoller, GitHub: akoller).