Perhaps, instead of storing an absolute size, Gnome should store the size (and position?) as a percentage of the screen size: say 100% high, 40% wide, 60% from the left. Maybe not perfect (for example, when the width you want is relative to the font size), but possibly an improvement over the current situation.