New feature replacing the old zoom function.

Now these are saved in a new table called course_display,
each user and each course can have independent settings.

I'm intending to expand this table later for all the other
course display stuff (like hidden topics etc)

lib/db/postgres7.sql

@@ -32,6 +32,15 @@ CREATE TABLE prefix_course_categories (
    name varchar(255) NOT NULL default ''
 );
 
+CREATE TABLE prefix_course_display (
+   id SERIAL PRIMARY KEY,
+   course integer NOT NULL default '0',
+   userid integer NOT NULL default '0',
+   display integer NOT NULL default '0'
+);
+
+CREATE INDEX courseuserid ON prefix_course_display (course,userid);
+
 CREATE TABLE prefix_course_modules (
    id SERIAL PRIMARY KEY,
    course integer NOT NULL default '0',