1815 EMPTY_COMPLETION_PROVIDER, |
1815 EMPTY_COMPLETION_PROVIDER, |
1816 CommandKind.NORMAL)); |
1816 CommandKind.NORMAL)); |
1817 |
1817 |
1818 // Documentation pseudo-commands |
1818 // Documentation pseudo-commands |
1819 registerCommand(new Command("/<id>", |
1819 registerCommand(new Command("/<id>", |
1820 "help.id", |
1820 "help.slashID", |
1821 arg -> cmdHelp("rerun"), |
1821 arg -> cmdHelp("rerun"), |
1822 EMPTY_COMPLETION_PROVIDER, |
1822 EMPTY_COMPLETION_PROVIDER, |
1823 CommandKind.HELP_ONLY)); |
1823 CommandKind.HELP_ONLY)); |
1824 registerCommand(new Command("/-<n>", |
1824 registerCommand(new Command("/-<n>", |
1825 "help.previous", |
1825 "help.previous", |
1826 arg -> cmdHelp("rerun"), |
1826 arg -> cmdHelp("rerun"), |
1827 EMPTY_COMPLETION_PROVIDER, |
1827 EMPTY_COMPLETION_PROVIDER, |
1828 CommandKind.HELP_ONLY)); |
1828 CommandKind.HELP_ONLY)); |
1829 registerCommand(new Command("intro", |
1829 registerCommand(new Command("intro", |
1830 "help.intro", |
1830 "help.intro", |
|
1831 CommandKind.HELP_SUBJECT)); |
|
1832 registerCommand(new Command("id", |
|
1833 "help.id", |
1831 CommandKind.HELP_SUBJECT)); |
1834 CommandKind.HELP_SUBJECT)); |
1832 registerCommand(new Command("shortcuts", |
1835 registerCommand(new Command("shortcuts", |
1833 "help.shortcuts", |
1836 "help.shortcuts", |
1834 CommandKind.HELP_SUBJECT)); |
1837 CommandKind.HELP_SUBJECT)); |
1835 registerCommand(new Command("context", |
1838 registerCommand(new Command("context", |