libsaria: Remove old preferences code

I don't need it anymore with the new code.

libsaria/trees.py

@@ -190,60 +190,3 @@ class DLValTree(DLTree, ValTree):
 		if len(path) > 1:
 			return child.insert(path[1:], vals)
 		return child
-
-
-class PrefTree(Tree):
-	def __init__(self):
-		Tree.__init__(self)
-
-	def init_pref(self, pref, value):
-		path = pref.split('.')
-		val  = self.lookup(path)
-		if val == None:
-			self.insert(path + [value])
-			val = value
-		else:
-			val = val[0]
-		return val
-
-	def set_pref(self, pref, value):
-		path = pref.split('.')
-		child = self.lookup_child(path)
-		if child == None:
-			self.init_pref(pref, value)
-			return
-		del child[child.keys()[0]]
-		child.insert([value])
-		self.insert(path + [value])
-
-	def get_pref(self, pref):
-		path = pref.split('.')
-		val = self.lookup(path)
-		if val == None:
-			return None
-		return val[0]
-
-
-save_prefs_enabled = False
-class PersPrefTree(PrefTree):
-	def __init__(self, file = None):
-		PrefTree.__init__(self)
-		self.file = file
-
-	def enable_save(self):
-		global save_prefs_enabled
-		save_prefs_enabled = True
-
-	def init_pref(self, pref, value):
-		return PrefTree.init_pref(self, pref, value)
-
-	def set_pref(self, pref, value):
-		PrefTree.set_pref(self, pref, value)
-		if self.file != None and save_prefs_enabled == True:
-			files.save(self, self.file, ".tree")
-
-def get_pref_tree(file):
-	tree = files.load(file, ".tree")
-	if tree == None:
-		tree = PersPrefTree(file)
-	return tree