> What is your specific distro and window manager? Unbuntu 18.04 and 16.04 (two computers), Gnome on both.
-- Jean-Yves _______________________________________________ users mailing list users@lists.scilab.org http://lists.scilab.org/mailman/listinfo/users