Ctrl-C does not seem to copy highlighted text in a floating window even though the right click menu item does work.