annotate TOOLS/mpconsole.sh @ 35664:9162585304d0

Save the correct video window position. Additionally, remove the pointless assignment of the video window position in video.c, because that's already performed during the ConfigureNotify event. (As a result of this pointless assignment, the new video window position had only be saved if dragged with the left mouse button inside the window, not if dragged by the title bar.)
author ib
date Wed, 16 Jan 2013 19:43:56 +0000
parents 305dc504c407
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
27198
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
1 #!/bin/sh
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
2 # Script to run mplayer on the console (fbdev/mga_vid/etc) without
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
3 # the console text and/or flashing cursor getting in the way.
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
4 # Written by Rich Felker.
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
5
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
6 trap "tput cnorm ; exit 1" SIGQUIT SIGINT EXIT
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
7 res=`PATH="$PATH:/usr/sbin" fbset | grep geometry | sed 's/^ *//'`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
8 width=`echo "$res" | cut -d' ' -f2`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
9 height=`echo "$res" | cut -d' ' -f3`
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
10 tput civis
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
11 clear
305dc504c407 Give all shell scripts a .sh suffix for consistency.
diego
parents:
diff changeset
12 mplayer -vo mga -screenw "$width" -screenh "$height" "$@" >/dev/null 2>&1