Add journal, editor, and overview improvements

core/migrations/0007_userpreference_overview_lines.py

@@ -0,0 +1,12 @@
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+    dependencies = [('core', '0006_userpreference')]
+    operations = [
+        migrations.AddField(
+            model_name='userpreference',
+            name='overview_lines',
+            field=models.PositiveSmallIntegerField(default=4),
+        ),
+    ]