23
29
ctx['start_body_attrs'] = {}
25
31
class Plugin(ViewPlugin, OverlayPlugin, MediaPlugin):
32
views = [(ApplicationRoot, ('console', '+index'), ConsoleView),
33
(ApplicationRoot, ('console', 'service'), ConsoleServiceRESTView),
31
37
('console', 'Console', 'Try out your code in a Python console',
32
38
'console.png', 'console', 3)
38
46
help = {'Console': 'help.html'}