+# Figure out whether to use xli or xv.
+pick_displayer() {
+ IFS=:
+ for p in $PATH; do
+ if [ "$p" = "" ]; then p=. ; fi
+ if [ -x $p/xli ]; then
+ displayer=$p/xli
+ displayer_args="-quiet"
+ displayer_win_args=""
+ displayer_root_args="-onroot -center -border black"
+ return
+ elif [ -x $p/xv ]; then
+ displayer=$p/xv
+ displayer_args="-quick24"
+ displayer_win_args="-geom +0+0"
+ displayer_root_args="-root -rmode 5 -noresetroot -rfg black -rbg black -viewonly"
+
+ return
+ fi
+ done
+ IFS=
+
+ echo "$0: neither xli nor xv found on \$PATH"
+ exit -1
+}
+