[gryphonent]

Whatever shortcut I select in the preferences as clipping shortcut I get the error message that the shortcut cannot be used because it is already used by a system-wide keyboard shortcut. Checking up on this in the Mac OSX system preferences though produced no result: the selected shortcut was not taken and should be available. I've tried this with a number of shortcuts and ALWAYS get the same error message.