On 16.05.2017 20:44, Michael Van Canneyt via Lazarus wrote: > Anything else I can do ? (except dumping linux mint, obviously...) Maybe this is an option for you until it gets properly fixed: you could build the IDE for Qt. (You can still develop your own applications for Gtk2 even if the IDE is built for Qt.) Ondrej