mate-desktop/mate-terminal — pull request #72 by spuhpointer (2014-09-01 13:50:19+00:00)
Title: Copy selection to clipboard option (master branch change)

Initially development was done on 1.8. This is merged source. 1x conflict resolved in terminal-window.c