Khushboo Vashi a87ee6d059 Allow the user to close the dashboard panel. Fixes #2506		2017-06-27 09:21:24 -04:00
..
static/css	Prevent users selecting elements of the UI that shouldn't be selectable. Fixes #1976	2016-11-18 10:55:00 +00:00
templates/debugger	Allow the user to close the dashboard panel. Fixes #2506	2017-06-27 09:21:24 -04:00
__init__.py	Prevent attempts to debug procedures with variadic arguments. Fixes #1466	2017-06-06 12:58:52 +01:00