@N0rbert yes I do; but Ctrl-Shift should not be regarded as part of Ctrl-Shift-F similarly as Del should not be part of Ctrl-Alt-Del.
– DimsJul 29 '19 at 13:58
@Dims then see my https://askubuntu.com/a/1029605/66509 and use ppa:nrbrtx/xorg-hotkeys to remove interference.
– N0rbertJul 29 '19 at 16:31
<Ctrl+Shift>? – N0rbert Jul 27 '19 at 07:56Ctrl-Shiftshould not be regarded as part ofCtrl-Shift-Fsimilarly asDelshould not be part ofCtrl-Alt-Del. – Dims Jul 29 '19 at 13:58ppa:nrbrtx/xorg-hotkeysto remove interference. – N0rbert Jul 29 '19 at 16:31