diff options
| -rwxr-xr-x | gmail-commando.js | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/gmail-commando.js b/gmail-commando.js index 10d821d..586270f 100755 --- a/gmail-commando.js +++ b/gmail-commando.js @@ -135,7 +135,21 @@ let INFO = [label.textContent.replace(/\s*\(\d+\+?\)$/, ''), label.textContent] for ([, label] in Iterator(Elements.labels)) ]; - } + }, + + is: function (context) { + const values = 'anywhere inbox drafts span trash'.split(/\s/); + context.completions = [ + [v, v] for ([, v] in Iterator(values)) + ]; + }, + + in: function (context) { + const values = 'starred chat voicemail muted sent'.split(/\s/); + context.completions = [ + [v, v] for ([, v] in Iterator(values)) + ]; + }, }; commands.addUserCommand( |