diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-02 08:18:13 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-02 08:18:13 +0200 |
| commit | f31a6363c496ded45d6c4fecf1ca93df619b294d (patch) | |
| tree | 8f76952cc6699c29e422e414f88f1cb1b097e3a1 /src/pies | |
| parent | 620857a09b64578bbeda46487ad307d0f6116540 (diff) | |
| parent | 0b56dfbf01171226a0bb035afcd13358b6477710 (diff) | |
Merge tag 'upstream/0.6.4'
Upstream version 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. ///////////////////////////////////////////////////////////////////// |