Il 14/05/2015 23:31, Toan Pham ha scritto:
This bug also exists in Ubuntu 15, vivid. I am not sure of the root-cause (not just settings related), it could be in GTK+.
You could rule out GTK by compiling the IDE with Qt WS, and switching to KDE desktop (which is Qt based).
If it's just a GTK issue, you wouldn't have anything GTK related in the way. Giuliano -- Giuliano Colla Project planning question: when it's 90% done, are we halfway or not yet? -- _______________________________________________ Lazarus mailing list [email protected] http://lists.lazarus.freepascal.org/mailman/listinfo/lazarus
