I tried this out and have some feedback:
It would be more efficient to stretch the background elements over the whole screen like this:
Instead of using the resolution pref,
new GuiFadeinBitmapCtrl(screensaver) {
profile = "GuiDefaultProfile";
horizSizing = "right";
vertSizing = "bottom";
position = "0 0";
extent = $pref::video::resolution;
minExtent = "8 2";
visible = "1";
bitmap = $pref::blockster::saver;
wrap = "1";
lockAspectRatio = "0";
alignLeft = "1";
overflowImage = "1";
keepCached = "0";
fadeinTime = "1000";
waitTime = "90000000";
fadeoutTime = "90000000";
};
Set the extent to "640 480"
then horizSizing to width
and vertSizing to height,
like this:
new GuiFadeinBitmapCtrl(screensaver) {
profile = "GuiDefaultProfile";
horizSizing = "width";
vertSizing = "height";
position = "0 0";
extent = "640 480";
minExtent = "8 2";
visible = "1";
bitmap = $pref::blockster::saver;
wrap = "1";
lockAspectRatio = "0";
alignLeft = "1";
overflowImage = "1";
keepCached = "0";
fadeinTime = "1000";
waitTime = "90000000";
fadeoutTime = "90000000";
};
Doing it this way will make them resize upon resolution change instantly, not needing a restart.