Fix 'close all tabs' option for closing tabs.
Merge branch 'dev' of https://github.com/cs3733bdt/wpi-suite into dev