Robert Krahn <robert.krahn@...> writes:
Thanks Robert for your questions. I have solved the issue by disabling a
feature that was bound to the control key.
Once I disabled the feature, the Ctrl key combination work fine.
THanks again
_______________________________________________
lively-kernel mailing list
[hidden email]
http://lists.hpi.uni-potsdam.de/listinfo/lively-kernel