diff -r 84928e9f446f -r 9a2aa5353a32 eric6/MicroPython/MicroPythonWidget.py
--- a/eric6/MicroPython/MicroPythonWidget.py Sat Feb 20 14:24:03 2021 +0100
+++ b/eric6/MicroPython/MicroPythonWidget.py Sat Feb 20 14:25:06 2021 +0100
@@ -1254,10 +1254,13 @@
if menuEntries:
downloadMenu = QMenu(self.tr("Downloads"), self.__superMenu)
for text, url in menuEntries:
- downloadMenu.addAction(
- text,
- functools.partial(self.__downloadFromUrl, url)
- )
+ if text == "<separator>":
+ downloadMenu.addSeparator()
+ else:
+ downloadMenu.addAction(
+ text,
+ functools.partial(self.__downloadFromUrl, url)
+ )
else:
downloadMenu = None
