From cd5af0a39cf71fd9c53886badf3ea0384d51fa22 Mon Sep 17 00:00:00 2001 From: Jean-Michel Vedrine Date: Sat, 27 Jan 2018 10:35:50 +0100 Subject: svg icon, multiply setting --- settings.php | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'settings.php') diff --git a/settings.php b/settings.php index 399c04c..525324a 100644 --- a/settings.php +++ b/settings.php @@ -47,4 +47,11 @@ if ($ADMIN->fulltree) { array('old' => new lang_string('dollars', 'qtype_algebra'), 'new' => new lang_string('brackets', 'qtype_algebra') ))); + // TeX operator for multiplication. + $settings->add(new admin_setting_configselect('qtype_algebra/multiplyoperator', + new lang_string('multiplyoperator', 'qtype_algebra'), + '', 'times', + array('times' => new lang_string('times', 'qtype_algebra'), + 'cdot' => new lang_string('cdot', 'qtype_algebra') + ))); } -- cgit v1.2.3