added the user settings view with minimal numbers of options

codepot/etc/Makefile.in

@@ -1,4 +1,4 @@
-# Makefile.in generated by automake 1.11 from Makefile.am.
+# Makefile.in generated by automake 1.11.1 from Makefile.am.
 # @configure_input@
 
 # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,

codepot/etc/codepot.sql

@@ -146,3 +146,9 @@ CREATE TABLE log  (
 	createdon  DATETIME     NOT NULL,
 	INDEX timed_project_type_action (createdon, projectid, type, action)
 ) charset=utf8 engine=InnoDB;	
+
+CREATE TABLE user_settings (
+	userid              VARCHAR(32) PRIMARY KEY,
+	code_hide_line_num CHAR(1) NOT NULL,
+	code_hide_details  CHAR(1) NOT NULL
+) charset=utf8 engine=InnoDB;