diff options
author | Michael Terry <[email protected]> | 2013-04-14 17:17:14 +0900 |
---|---|---|
committer | Dan Bravender <[email protected]> | 2013-04-14 17:18:17 +0900 |
commit | b8f33a3b2a13944736b5f790a44d64cdabc68308 (patch) | |
tree | b4084b1eab845252d3cd6cdd5807cccf8d583a1f /src/profile-manager.glade | |
parent | b2bc45fbca9a5f46517fb3298c5ab8fa22fd4b97 (diff) | |
download | mate-terminal-b8f33a3b2a13944736b5f790a44d64cdabc68308.tar.bz2 mate-terminal-b8f33a3b2a13944736b5f790a44d64cdabc68308.tar.xz |
[PATCH] Update paste sensitivity whenever clipboard changes - fixes #17
(originally reported and fixed here: https://bugzilla.gnome.org/show_bug.cgi?id=600876)
Diffstat (limited to 'src/profile-manager.glade')
0 files changed, 0 insertions, 0 deletions