Ghini/server

compute height of results frame

Closed this issue · 0 comments

mfrasca commented

as of now, the results frame has hard-coded height.
this works for me on my computer today, but we obviously have to do it better and generic.