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 -- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus-ide.org http://lists.lazarus-ide.org/listinfo/lazarus
