Recent versions of gnome-terminal have a "Preferences" menu item on the right-click menu that interferes with p choosing "Paste" when the menu is up. My long-term-ingrained habit of right-click-and-press-p dislikes this cheese relocation. :-) Is there a way to make it paste instead? (For instance: Removing "Preferences" would probably do it.) I never expect to want to use that Preferences menu item.
I realize I could use the keyboard shortcut instead, but habits are habits, and some things I do involving pasting to terminals work fairly well if I have one hand on the mouse and the other on the keyboard. I use the mouse left-handed, and can't Ctrl+Shift+V with my right-hand only.
I've tried:
- This question's answers talk about modifying
/usr/share/gnome-terminal/but that file doesn't exist anywhere on my system (nor, as far as I can tell, anything like it). - I also can't find anything with
gconf-editorordconf-editor.
