diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-02 08:18:11 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-02 08:18:11 +0200 |
| commit | 0b56dfbf01171226a0bb035afcd13358b6477710 (patch) | |
| tree | 7d4c1e2f57e6ea49fe56af50a0ba3414bf127927 /src/pies | |
| parent | a1c05d93bbb3c1bdb0c0fed9d7110804037cfd55 (diff) | |
Imported Upstream version 0.6.4upstream/0.6.4
Diffstat (limited to 'src/pies')
| -rw-r--r-- | src/pies/pieManager.vala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/pies/pieManager.vala b/src/pies/pieManager.vala index 305b444..d2cc837 100644 --- a/src/pies/pieManager.vala +++ b/src/pies/pieManager.vala @@ -121,6 +121,18 @@ public class PieManager : GLib.Object { } ///////////////////////////////////////////////////////////////////// + /// Prints the names of all pies with their IDs. + ///////////////////////////////////////////////////////////////////// + + public static void print_ids() { + foreach(var pie in all_pies.entries) { + if (pie.value.id.length == 3) { + message(pie.value.id + " " + pie.value.name); + } + } + } + + ///////////////////////////////////////////////////////////////////// /// Returns the hotkey which the Pie with the given ID is bound to. ///////////////////////////////////////////////////////////////////// |