Clean up chora prefs file

diff --git a/chora/config/prefs.php.dist b/chora/config/prefs.php.dist
index af5f998..6e93793 100644 (file)
--- a/chora/config/prefs.php.dist
+++ b/chora/config/prefs.php.dist
@@ -7,16 +7,10 @@
 
 // last browse file/directory
 $_prefs['last_file'] = array(
-    'value' => 0,
-    'locked' => false,
-    'shared' => false,
-    'type' => 'implicit'
+    'value' => 0
 );
 
 // last sourceroot used
 $_prefs['last_sourceroot'] = array(
-    'value' => 0,
-    'locked' => false,
-    'shared' => false,
-    'type' => 'implicit'
+    'value' => 0
 );