PDF Buddy - это онлайн-редактор PDF, который является отличным решением для быстрого и простого кросс-платформенного редактирования PDF, независимо от того, работаете вы на Ubuntu или что-то еще. (Это было бы полезно для того, что вы описали в сценарии A)
(Раскрытие: я являюсь соучредителем PDF Buddy)
Я как бы догадываюсь, основываясь на том, как раньше я перепутал Caps Lock, но ...
Создайте файл ~/.Xmodmap, содержащий:
clear 135
keycode 135 = Control_R
m, используя 135, потому что это ключевой код, который xev сказал мне на моей клавиатуре, когда я нажал меню. Ваш может отличаться. Выход и amp;
setxkbmap -option ctrl:menu может работать, если это не так.