Am 16.04.2021 um 09:30 schrieb Riccardo (Jack) Lucchetti:
On Fri, 16 Apr 2021, Riccardo (Jack) Lucchetti wrote:
> Uhm, I think you're right. I guess we could trade some horizontal
> space for vertical space. Allin?
On further inspection: if the number of lines exceeds 4, then the widget
for choosing the line style provides a vertical scroller, so the problem
should not arise in that case.
Although the OK button at the bottom is not directly affected by the
scrollbar. The point is rather that with n>4 you can also resize the
window by grabbing the top edge with the mouse. Then you can move the
whole window up, pulling the buttons into view. This is not possible
with n<=4.
cheers
sven