updated css/js libraries

[e-DoKo.git] / include / preferences.php

diff --git a/include/preferences.php b/include/preferences.php
index f0b33daeb7e2b98e3e1ff191e380ee264636aee4..c0a45558c6090efdc84029df02540344af60771c 100644 (file)
--- a/include/preferences.php
+++ b/include/preferences.php
@@ -1,5 +1,5 @@
 <?php
-/* Copyright 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Arun Persaud <arun@nubati.net>
+/* Copyright 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 Arun Persaud <arun@nubati.net>
  *
  *   This file is part of e-DoKo.
  *
@@ -472,7 +472,16 @@ echo " </td></tr>\n";
 
 echo '    <tr><td>'.('Card set').":              </td><td>\n";
 echo "         <select id=\"cards\" name=\"cards\" size=\"1\">\n";
-echo "           <option value=\"english\" selected=\"selected\">"._('English cards')."</option>\n";
+if($PREF['cardset']=="english2")
+  {
+    echo "           <option value=\"english\" >"._('English cards')."</option>\n";
+    echo "           <option value=\"english2\" selected=\"selected\">"._('English cards 2')."</option>\n";
+  }
+ else /* default */
+   {
+     echo "           <option value=\"english\" selected=\"selected\">"._('English cards')."</option>\n";
+     echo "           <option value=\"english2\" >"._('English cards 2')."</option>\n";
+   };
 echo "         </select>";
 if($changed_cards) echo _('changed');
 echo " </td></tr>\n";