projects / banshee-community-extensions:banshee-community-extensions.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4879e8b) | patch
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
treea13ce751c5477f73ed2bb021ae66ae7ac4ea8dfctree | snapshot
parent4879e8bb9be542fe808d2a4c17afa8e8c919e114commit | diff
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 diff | blob | history
src/Bluetooth/Banshee.Dap.Bluetooth/Gui/MediaControlWidget.fs diff | blob | history
c483b99e8f81098c033201f1187ef5a05b