+ # it might happen that we don't have a Max Resolution in hwinfo output :-/
+ # fall back to a generic value then...
+ # TODO: check out how to get resolution of external monitor from console
+ if [ -z "$HORIZ_RES1" ] ; then
+ HORIZ_RES1="1024"
+ VERIZ_RES1="768"
+ fi