No, paste means the more recent of either "internal paste from clipboard stack" or system clipboard paste as lines (by default) or paragraph optionally.
Abdel, let us look closely at paste special clipboard as lines: 1. for clipboard recently set by others, it is the same as paste 2. for clipboard recently set by lyx, it pastes the special text version of internal clipboard (the thing we put to system clipboard). In this case, paste is obviously *better* so paste should be used. Then, what is the point of keeping 'paste clipboard as lines'? The same logic holds for 'paste special selection as lines'. Bo
