Resolve "Add a progress window" (!14) · Merge requests · interactive-KB-debugging / debugger · GitLab

Wolfgang Schmid requested to merge 48-add-a-progress-window into master Jan 12, 2017

Closes #48 (closed) and #34 (closed)