GraalControl's hidden minextent?
 

echo(GraalControl.minextent) and what do you get? (by default of course)

8,8

Now when you try to make GraalControl really small you will notice that it won't get as small as you want! I shrank the control down to something like 100,100 and found that it wouldn't get any smaller then some random number:

235,410

Why is this? Can it please be fixed?

And please no one ask why I want to go smaller then 235, 410... I just do.

Infact: Why do we have fullscreen modes smaller then 640x480 if GraalControl's height won't go below 410?

It's the serverlist which can't be made smaller

But of course! If I destroy() it, would I be able to shrink GraalControl more? (I usually make my own F8 menu anyways and just serverwarp("login") when the player wants to leave)

Theoretically yes, but it is not allowed. Why do you need the Graal control being smaller?

If its not allowed, why is there the possibility to do it?

I don't see why it isn't allowed, you can always serverwarp("login") to get to the serverlist again.

Graal already gives you a very large amount of flexibility. There should be something that is consistent and familiar for the players though, and in this case, that is what the playerlist achieves.

Well said, you win an Oreo.