Murtuza Zabuawala 6f30cabdbb Resolve various debugger quirks. Fixes #1227 ... - Prevent the user from executing multiple options at once, resulting in "Execute cannot be used while an asynchronous query is underway********** Error ****" messages - Stop polling when debugging is complete. - Don't show the busy cursory when debugging is complete. - Display info messages properly, and reset them between executions.		2016-11-11 14:25:11 +00:00
..
css	Resolve various debugger quirks. Fixes #1227	2016-11-11 14:25:11 +00:00