/// <summary>Handler called when the a row is activated (such as with
/// a double-click).</summary>
/// <remarks>Activating a row is the same as clicking the Play
/// button.</remarks>
private void OnRowActivated(object o, Gtk.RowActivatedArgs args)
{
play_button.Click();
}