Akshay Joshi d801ed5008 Add titles to the code areas of the Query Tool and Debugger to ensure that panels can be re-docked within them. Fixes #3619

2018-11-29 15:47:48 +00:00

..

static

Add titles to the code areas of the Query Tool and Debugger to ensure that panels can be re-docked within them. Fixes #3619

2018-11-29 15:47:48 +00:00

templates/debugger

Add titles to the code areas of the Query Tool and Debugger to ensure that panels can be re-docked within them. Fixes #3619

2018-11-29 15:47:48 +00:00

__init__.py

Add titles to the code areas of the Query Tool and Debugger to ensure that panels can be re-docked within them. Fixes #3619

2018-11-29 15:47:48 +00:00