From 79776d44f9a76e67934829bb366b81dcefef83d3 Mon Sep 17 00:00:00 2001
From: dchandler <dchandler>
Date: Sat, 19 Oct 2002 03:29:52 +0000
Subject: [PATCH] Added the media player preference to the system default
 preferences file.

---
 source/options.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/options.txt b/source/options.txt
index 1165a5a..03e962f 100644
--- a/source/options.txt
+++ b/source/options.txt
@@ -19,6 +19,10 @@
 #########################    User Preferences    ###########################
 ############################################################################
 
+# Set this to qt4j if you wish to use QuickTime for Java, or to jmf if you
+# with to use Sun's Java Media Framework.
+thdl.media.player = qt4j
+
 # Sets the Tibetan keyboard that Jskad uses on startup.
 # Here are the acceptable values:
 #