From 225b24f35686f9568caeff6b51925573b8907096 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marduk=20Bola=C3=B1os?= Date: Tue, 6 Oct 2020 22:55:47 +0200 Subject: [PATCH 1/2] Fixed help topic name (#1876) The help topic is called `commands` not `command` --- runtime/help/plugins.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/help/plugins.md b/runtime/help/plugins.md index c31b3d81a1..eff48d06ec 100644 --- a/runtime/help/plugins.md +++ b/runtime/help/plugins.md @@ -418,7 +418,7 @@ your own plugins. Micro also has a built in plugin manager which you can invoke with the `> plugin ...` command, or in the shell with `micro -plugin ...`. -For the valid commands you can use, see the `command` help topic. +For the valid commands you can use, see the `commands` help topic. The manager fetches plugins from the channels (which is simply a list of plugin metadata) which it knows about. By default, micro only knows about the official From c0907bb58e35ee05202a78226a2f53909af228ca Mon Sep 17 00:00:00 2001 From: ThatXliner <66848002+ThatXliner@users.noreply.github.com> Date: Tue, 6 Oct 2020 13:56:08 -0700 Subject: [PATCH 2/2] :pencil2: : Added more Code tags (#1875) I added more syntax highlighting for python comment code tags. Though this should be implemented for all languages... --- runtime/syntax/python3.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/runtime/syntax/python3.yaml b/runtime/syntax/python3.yaml index 0afcd051a3..ba415a77f8 100644 --- a/runtime/syntax/python3.yaml +++ b/runtime/syntax/python3.yaml @@ -58,5 +58,5 @@ rules: - comment: start: "#" end: "$" - rules: - - todo: "(TODO|FIXME):?" + rules: # AKA Code tags (PEP 350) + - todo: "(TODO|FIXME|HACK|BUG|NOTE|FAQ|MNEMONIC|REQ|RFE|IDEA|PORT|\?\?\?|!!!|GLOSS|SEE|TODOC|STAT|RVD|CRED):?"