Comment 48 for bug 36189

I think one should rather look at the gnome-panel source code, it is more likely that the panel listen to screen resolution changes events and resizes itself accordingly than the screen resolution program itself resizing the panel. At least this is the impression I got looking at the gnome-panel source code.