Dap.Bluetooth: Retire MediaControlWidget
authorNicholas Little <arealityfarbetween@googlemail.com>
Wed, 6 Aug 2014 16:26:05 +0000 (17:26 +0100)
committerNicholas Little <arealityfarbetween@googlemail.com>
Wed, 6 Aug 2014 16:26:05 +0000 (17:26 +0100)
commit56aa9cc58c331842ef967f95dd0786433605f340
treea13ce751c5477f73ed2bb021ae66ae7ac4ea8dfc
parent4879e8bb9be542fe808d2a4c17afa8e8c919e114
Dap.Bluetooth: Retire MediaControlWidget

After updating to Gnome 3.12, I wanted to use a Popover for the media
controls. Unfortunately they aren't available in GTK# yet so this patch
reduces the wasted space by abusing a GtkMenu activated by a toggle
button.

While requiring a little more work to make it look good, as a first
refactoring step this gives us a checkpoint we can return to.
src/Bluetooth/Banshee.Dap.Bluetooth/Gui/DeviceWidget.fs
src/Bluetooth/Banshee.Dap.Bluetooth/Gui/MediaControlWidget.fs