2.9.1

Nicolas NICLAUSSE

@nniclaus

47f7c09e · release 2.9.1 · May 02, 2019

version 2.9.1 - 2019-05-02
- call enter/leave method when entering/leaving workspaces
- deactivate unused fileMenu and AboutMenu. Move ThemeMenu in a sub-menu
- menubar fixed for HighDpi