diff options
| author | Robert Tari <robert@tari.in> | 2021-03-09 00:18:15 +0100 |
|---|---|---|
| committer | Robert Tari <robert@tari.in> | 2021-08-04 21:57:11 +0200 |
| commit | 3548d2023ad0e23ac43e607ef7d2293bae97e2c6 (patch) | |
| tree | d0b7efe05836b34b7b2a0986f53ce7313969616a | |
| parent | 41a2d5888d4d7a0c5a3bcb42577700c878bcb4da (diff) | |
| download | ayatana-indicator-sound-3548d2023ad0e23ac43e607ef7d2293bae97e2c6.tar.gz ayatana-indicator-sound-3548d2023ad0e23ac43e607ef7d2293bae97e2c6.tar.bz2 ayatana-indicator-sound-3548d2023ad0e23ac43e607ef7d2293bae97e2c6.zip | |
src/media-player-list-mpris.vala: Replace HashTable with GenericSet
| -rw-r--r-- | src/media-player-list-mpris.vala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/media-player-list-mpris.vala b/src/media-player-list-mpris.vala index cff4011..464bd64 100644 --- a/src/media-player-list-mpris.vala +++ b/src/media-player-list-mpris.vala @@ -94,7 +94,7 @@ public class MediaPlayerListMpris : MediaPlayerList { public override void sync (string[] desktop_ids) { /* hash desktop_ids for faster lookup */ - var hash = new HashTable<string, unowned string> (str_hash, str_equal); + var hash = new GenericSet<string> (str_hash, str_equal); foreach (var id in desktop_ids) hash.add (id); |