У меня была такая же проблема с ubuntu 16.10, и добавление env UBUNTU_MENUPROXY= в /usr/share/applications/texmaker.desktop не сработало. Тем не менее, поскольку Ubuntu 17.04, похоже, проблема исчезла - даже без env UBUNTU_MENUPROXY=, горячие клавиши работают для меня в Texmaker.
Это нормальное поведение. Если вы используете mv, он сделает это мгновенно. Если вы копируете, предполагается, что это настоящая копия.
Это нормальное поведение. Если вы используете mv, он сделает это мгновенно. Если вы копируете, предполагается, что это настоящая копия.