cockpit-project/cockpit — pull request #1122 by mvollmer (2014-09-04 08:08:57+00:00)
Title: shell: Use a select-picker to implement cockpit.select_btn.

Fixes #1087.