changeset 5942 | 828121e0baf0 |
parent 5941 | c38ea1820a2d |
child 5958 | 138b25592837 |
--- a/ObjectView.st Wed Nov 02 14:49:15 2016 +0100 +++ b/ObjectView.st Wed Nov 02 16:22:46 2016 +0100 @@ -675,7 +675,7 @@ |sel| sel := self getClipboardObject. - ((Screen current platformName == #X11) + ((device isX11Platform) or:[(device getSelectionOwnerOf:#CLIPBOARD) == self drawableId]) ifTrue:[ "