version 2.12.0 - 2019-10-07 - fixed value parsing in dtkWidgetsSpinBoxDouble - add removeMenu method in dtkWidgetsMenu - enhancing menu framework API - order workspaces alphabetically - switch to previous workspace when current one is deleted - apply theme in initialize instead of exec - add method to generator to fill a dtkWidgetsMenu