version 2.23.1 - 2020-05-28 - display doc and path in the tooltip, according if both, either one or none is available - save button can be defined as read-only - fix workspace: we must leave previous workspace before creating a new one - apply theme in workspaceBar (also raise font size of popup menu) and dtkWidgetsHUDInfo