$def with (course,username,task,submissionid,submission,to_display) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $# $ user_realname= user_manager.get_user_realname(username) $var title: $:task.get_name() - $:user_realname - $:course.get_name() $ is_admin = user_manager.has_admin_rights_on_course(course) $var Column: $:template_helper.call('course_admin_menu',course=course,current='students') $def NavbarF():
$var Navbar: $:NavbarF()