One can workaround this by using a clipboard manager (like ClipIt, xfce4-clipman-plugin, etc.) as they are capable of also managing the primary clipboard. This also brings a lot of other advantages and better use of the clipboard.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.