$def with (course,task,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. $# $ username = submission['username'][0] $ user_realname= user_manager.get_user_realname(username) $var title: $:task.get_name(user_manager.session_language()) - $:user_realname - $:course.get_name(user_manager.session_language()) $var Column: $:template_helper.call('course_admin_menu',course=course,current='students') $ is_admin = user_manager.has_admin_rights_on_course(course) $ course_tags = course.get_tags() $ task_categories = task.get_categories() $def NavbarF(): $var Navbar: $:NavbarF()