diff options
author | Jean-Michel Vedrine <vedrine@vedrine.org> | 2014-06-19 14:08:36 +0200 |
---|---|---|
committer | Jean-Michel Vedrine <vedrine@vedrine.org> | 2014-06-19 14:10:07 +0200 |
commit | a7171d6dacb463ce0cc45beb23a31fe2c1684141 (patch) | |
tree | c22952d52d7b1e00ad6389d2c2c35080029e170a /settings.php | |
parent | 8055f6eddd71cf562d5fb7b6528bc082ef508085 (diff) |
CONTRIB-5128 hints not working
Diffstat (limited to 'settings.php')
-rw-r--r-- | settings.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/settings.php b/settings.php index 7e19e42..399c04c 100644 --- a/settings.php +++ b/settings.php @@ -37,7 +37,14 @@ if ($ADMIN->fulltree) { // SAGE server connection port. $settings->add(new admin_setting_configtext('qtype_algebra_port', get_string('port', 'qtype_algebra'), '', 7777, PARAM_INT)); - // SAGE server connection uri. + // SAGE server connection uri. $settings->add(new admin_setting_configtext('qtype_algebra_uri', get_string('uri', 'qtype_algebra'), '', '', PARAM_TEXT)); + // TeX expressions delimiter. + $settings->add(new admin_setting_configselect('qtype_algebra_texdelimiters', + new lang_string('texdelimiters', 'qtype_algebra'), + '', 'old', + array('old' => new lang_string('dollars', 'qtype_algebra'), + 'new' => new lang_string('brackets', 'qtype_algebra') + ))); } |