2.11.3

NICLAUSSE Nicolas

@nniclaus

fe7301ed · release 2.11.3 · May 29, 2019

version 2.11.3 - 2019-05-29
- call enter/leave when using workspace menu
- fix main window events on linux
- set ini format in initialize