[gnome-games] media-selector: Make medias with no uris unclickable
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-games] media-selector: Make medias with no uris unclickable
- Date: Sat, 9 Feb 2019 18:28:37 +0000 (UTC)
commit afe7206cb9271ca9481ded1920ccfa74dfd765d3
Author: Yetizone <andreii lisita gmail com>
Date: Sat Feb 9 18:42:10 2019 +0200
media-selector: Make medias with no uris unclickable
src/ui/media-selector.vala | 2 ++
1 file changed, 2 insertions(+)
---
diff --git a/src/ui/media-selector.vala b/src/ui/media-selector.vala
index 780720a4..8799f987 100644
--- a/src/ui/media-selector.vala
+++ b/src/ui/media-selector.vala
@@ -48,6 +48,8 @@ private class Games.MediaSelector : Gtk.Popover {
}
var checkmark_item = new CheckmarkItem (media_name);
+ var media_has_uris = (media.get_uris ().length != 0);
+ checkmark_item.sensitive = media_has_uris;
var is_current_media = (_media_set.selected_media_number == media_number);
checkmark_item.checkmark_visible = is_current_media;
list_box.add (checkmark_item);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]