Thx for all your help.
Marc
It's working for me, but Alt is not Meta, the OS logo key is.On Fri, Feb 19, 2016 at 1:14 PM Marduk Bolaños <address@hidden> wrote:I just tried TeXmacs 1.0.7.18 in Ubuntu 14.04 and the
shortcuts work as expected.
I cannot explain it, but I tried the same version in the same
OS (Ubuntu Live CD) a few weeks ago and the shortcuts did not
work. In Ubuntu Mate 14.04 I did not have any problems and
then I blamed it on Unity.
Archive powered by MHonArc 2.6.19.