Dave Page 687f1f640f Prevent users selecting elements of the UI that shouldn't be selectable. Fixes #1976		2016-11-18 10:55:00 +00: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	Cast OIDs to oid not int, otherwise we lose half the range which results in objects not being accessible. Fixes #1951	2016-11-11 14:36:41 +00:00
__init__.py	Resolve various debugger quirks. Fixes #1227	2016-11-11 14:25:11 +00:00