diff --git a/lib/weblib.php b/lib/weblib.php index fb2e72bf725..f2c13452569 100644 --- a/lib/weblib.php +++ b/lib/weblib.php @@ -908,7 +908,8 @@ function print_textfield ($name, $value, $alt = '',$size=50,$maxlength=0, $retur * @return string If $return is true then the entire form is returned as a string. * @todo Finish documenting this function
*/ -function popup_form($common, $options, $formid, $selected='', $nothing='choose', $help='', $helptext='', $return=false, $targetwindow='self', $selectlabel='') { +function popup_form($common, $options, $formid, $selected='', $nothing='choose', $help='', $helptext='', $return=false, +$targetwindow='self', $selectlabel='', $optionsextra=NULL) { global $CFG; static $go, $choose; /// Locally cached, in case there's lots on a page @@ -996,6 +997,10 @@ function popup_form($common, $options, $formid, $selected='', $nothing='choose', $optstr .= ' selected="selected"'; } + if (!empty($optionsextra[$value])) { + $optstr .= ' '.$optionsextra[$value]; + } + if ($label) { $optstr .= '>'. $label .'' . "\n"; } else { @@ -4376,6 +4381,7 @@ function navmenu($course, $cm=NULL, $targetwindow='self') { $logslink = NULL; $flag = false; $menu = array(); + $menustyle = array(); $sections = get_records('course_sections','course',$course->id,'section','section,visible,summary'); @@ -4437,6 +4443,9 @@ function navmenu($course, $cm=NULL, $targetwindow='self') { } } $menu[$url] = $mod->name; + if (empty($THEME->navmenuiconshide)) { + $menustyle[$url] = 'style="background-image: url('.$CFG->modpixpath.'/'.$mod->mod.'/icon.gif);"'; // Unfortunately necessary to do this here + } $previousmod = $mod; } } @@ -4467,7 +4476,7 @@ function navmenu($course, $cm=NULL, $targetwindow='self') { return ''; } @@ -5143,8 +5152,8 @@ function redirect($url, $message='', $delay=-1, $adminroot = '') { $delay += 3; // double redirect prevention, it was sometimes breaking upgrades before 1.7 } echo '
'; - echo '

'. $message .'

'; - echo '

( '. get_string('continue') .' )

'; + echo '
'. $message .'
'; + echo '
( '. get_string('continue') .' )
'; echo '
'; // it might be better not to set timeout the same for both types of redirect, so that we can be sure which one wins ?> diff --git a/theme/standard/styles_layout.css b/theme/standard/styles_layout.css index e8cd99e354a..2bc8fc90dd9 100644 --- a/theme/standard/styles_layout.css +++ b/theme/standard/styles_layout.css @@ -711,6 +711,13 @@ table.navbar { padding:0px; } +#navmenupopup option { + padding: 2px 0 2px 20px; + background-repeat: no-repeat; + background-position: 1px 2px; + vertical-align: middle; +} + /*** *** Footer ***/