Habe gerade selbst etwas gefunden:
top.document.getElementById('meinframeset').rows = '100,*';
Das Problem ist aber, dass jetzt der Inhalt des Browsers "schlagartig" geändert wird. Geht das vielleicht auch gleitend? So als ob man mit der Maus die Framegröße ändert?
Eine Schleife mit "window.settimeout" geht leider auch nicht, da das Framefenster ja jedesmal komplett neu aufgebaut wird.
Kai