From 5da7d1c852452cf9aa9a40c38f66ed55fb23f3b8 Mon Sep 17 00:00:00 2001
From: Davo Smith <github@davosmith.co.uk>
Date: Wed, 1 Jul 2015 08:40:10 +0100
Subject: [PATCH] Fix broken default for defaulttoggleiconsize

This was causing the 'new admin settings' page to appear after installation (breaking a lot of behat tests on the site).
---
 settings.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/settings.php b/settings.php
index 793a30d4..09fabfe4 100644
--- a/settings.php
+++ b/settings.php
@@ -291,7 +291,7 @@
     $name = 'format_topcoll/defaulttoggleiconsize';
     $title = get_string('defaulttoggleiconsize', 'format_topcoll');
     $description = get_string('defaulttoggleiconsize_desc', 'format_topcoll');
-    $default = 'medium';
+    $default = 'tc-medium';
     $choices = array(
         'tc-small' => new lang_string('small', 'format_topcoll'),
         'tc-medium' => new lang_string('medium', 'format_topcoll'),
@@ -498,4 +498,4 @@
         '4.0' => new lang_string('em4_0', 'format_topcoll')
     );
     $settings->add(new admin_setting_configselect($name, $title, $description, $default, $choices));
-}
\ No newline at end of file
+}