the right option is:
xrandr --output TV1 --set mode PAL --set 'bottom margin' xx --set 'top
margin' xx --set 'left margin' xx --set 'right margin' xx
where xx are the value to use
good luck
--
[i915] Can't set TV_FORMAT anymore using xrandr (Fixed upstream)
https://bugs.launchpad.net/bugs/2468
The margin options /bottom, left, right, top) are falsely refert to.
xrandr --output TV1 --set PAL
works, but I can't change the margins. xrandr --verbose shows options with
names like "left margin" or "top margin" but I don't know how it names for
usage with xrandr :-(
--
[i915] Can't set TV_F
