11-123
About the Tools Menu
You can change the appearance of the Player, play a playlist again, shuffle
items in a playlist, or configure audio and video settings by using the
commands on the
Tools
menu.
To access the commands in the following table, tap
Tools
.
Tap
To
About
View information about the Player.
Settings
Adjust various Player options, including audio and
video, network, hardware button, and Skin
Chooser settings.
Properties
View information about the currently playing file.
Open URL
Play a streaming media file on a network.
Add Web Favorite
Add a streaming media file that is currently playing
to Web Favorites.
Repeat
Play a playlist repeatedly.
Shuffle
Play items in a playlist in random order.
See Also:
Use Hardware Buttons
Change Player Appearance
Play Oversized Video
Change Background Playback Settings
Copy Files to Your Pocket PC
Use the desktop Player to copy digital media files to your Pocket PC (instead
of dragging a file from a folder on your desktop computer to a folder on your
portable device, for example). Using the desktop Player ensures that licenses
are copied with protected files.
