Merge

zyedidia · Oct 6, 2020 · 95eb8eb · 95eb8eb
2 parents 882bd8a + c0907bb
commit 95eb8eb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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

diff --git 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):?"