equal
deleted
inserted
replaced
1704 CommandKind.NORMAL)); |
1704 CommandKind.NORMAL)); |
1705 |
1705 |
1706 // Documentation pseudo-commands |
1706 // Documentation pseudo-commands |
1707 registerCommand(new Command("/<id>", |
1707 registerCommand(new Command("/<id>", |
1708 "help.id", |
1708 "help.id", |
|
1709 arg -> cmdHelp("rerun"), |
|
1710 EMPTY_COMPLETION_PROVIDER, |
1709 CommandKind.HELP_ONLY)); |
1711 CommandKind.HELP_ONLY)); |
1710 registerCommand(new Command("/-<n>", |
1712 registerCommand(new Command("/-<n>", |
1711 "help.previous", |
1713 "help.previous", |
|
1714 arg -> cmdHelp("rerun"), |
|
1715 EMPTY_COMPLETION_PROVIDER, |
1712 CommandKind.HELP_ONLY)); |
1716 CommandKind.HELP_ONLY)); |
1713 registerCommand(new Command("intro", |
1717 registerCommand(new Command("intro", |
1714 "help.intro", |
1718 "help.intro", |
1715 CommandKind.HELP_SUBJECT)); |
1719 CommandKind.HELP_SUBJECT)); |
1716 registerCommand(new Command("shortcuts", |
1720 registerCommand(new Command("shortcuts", |