1
# IVLE Configuration File
3
# Configuration of plugin applications for IVLE
4
# These should not need to be modified by admins unless new applications are
8
# Note: icon is a string of a file basename. The icon files are found in
9
# app_icon_dir, defined below.
11
def __init__(self, dir, name, icon = None, requireauth = True,
16
self.requireauth = requireauth
17
self.hashelp = hashelp
19
return ("App(dir=" + repr(self.dir) + ", name=" + repr(self.name) +
20
", icon=" + repr(self.icon) +
21
", requireauth=" + repr(self.requireauth) + ", hashelp="
22
+ repr(self.hashelp) + ")")
24
# Directory where app icons are stored, relative to the IVLE root.
25
app_icon_dir = "media/images/apps"
26
# Small version of icons (16x16, for favicon)
27
app_icon_dir_small = "media/images/apps/small"
29
# Which application to load by default (if the user navigates to the top level
30
# of the site). This is the app's URL name.
31
# Note that if this app requires authentication, the user will first be
32
# presented with the login screen.
35
# Application definitions
37
app_browser = App(dir = "browser",
38
name = "File Browser",
43
app_editor = App(dir = "editor",
49
app_fileservice = App(dir = "fileservice",
50
name = "File Service (AJAX server)",
54
app_console = App(dir = "console",
60
app_consoleservice = App(dir = "consoleservice",
61
name = "Console Service",
65
app_tutorial = App(dir = "tutorial",
67
icon = "tutorial.png",
71
app_server = App(dir = "server",
76
app_download = App(dir = "download",
81
app_help = App(dir = "help",
87
app_debuginfo = App(dir = "debuginfo",
88
name = "Debug Information",
92
# Mapping URL names to apps
95
"files" : app_browser,
97
"fileservice" : app_fileservice,
98
"console" : app_console,
99
"consoleservice" : app_consoleservice,
100
"tutorial" : app_tutorial,
101
"serve" : app_server,
102
"download" : app_download,
104
#"debuginfo" : app_debuginfo,
107
# List of apps that go in the tabs at the top
108
# (The others are hidden unless they are linked to)
109
# Note: The values in this list are the URL names as seen in app_url.
111
apps_in_tabs = ["files", "edit", "console", "tutorial", "help"]