Several improvements for DebuggerFrontEnd
Merge pull request #479 from Gama11/dev_DebuggerFrontEnd

Several improvements for DebuggerFrontEnd