I have changed my mind again. Since the lesstif-GUI supports those keys as shortcuts, it is a bug, that the GTK-gui does not support them. So, if no more complains, please apply this patch.
I have changed my mind again. Since the lesstif-GUI supports those keys as shortcuts, it is a bug, that the GTK-gui does not support them. So, if no more complains, please apply this patch.