linuxmint/Cinnamon — pull request #1960 by mtwebster (2013-05-04 01:51:48+00:00)
Title: Cinnamon-settings: some more tweaking...

- Improve reliability of showing/hiding the configure buttons
- Add configure to context menu
- Have search boxes grab focus when switching tabs