diff -r 6b870a3a8821 -r 7f30b93eb51d eric6/MicroPython/MicroPythonWidget.py
--- a/eric6/MicroPython/MicroPythonWidget.py Tue Aug 20 17:12:22 2019 +0200
+++ b/eric6/MicroPython/MicroPythonWidget.py Tue Aug 20 19:35:37 2019 +0200
@@ -173,7 +173,7 @@
self.menuButton.setObjectName(
"micropython_supermenu_button")
self.menuButton.setIcon(UI.PixmapCache.getIcon("superMenu"))
- self.menuButton.setToolTip(self.tr("pip Menu"))
+ self.menuButton.setToolTip(self.tr("MicroPython Menu"))
self.menuButton.setPopupMode(QToolButton.InstantPopup)
self.menuButton.setToolButtonStyle(Qt.ToolButtonIconOnly)
self.menuButton.setFocusPolicy(Qt.NoFocus)
@@ -259,7 +259,7 @@
devices = MicroPythonDevices.getFoundDevices()
if devices:
self.deviceInfoLabel.setText(
- self.tr("%n supported device(s) detected.", n=len(devices)))
+ self.tr("%n supported device(s) detected.", "", len(devices)))
index = 0
for device in sorted(devices):
@@ -974,7 +974,7 @@
self.__ui.addSideWidget(self.__ui.BottomSide, self.__chartWidget,
UI.PixmapCache.getIcon("chart"),
- self.tr("μPy Chart"))
+ self.tr("µPy Chart"))
self.__ui.showSideWidget(self.__chartWidget)
if not self.__interface.isConnected():
@@ -1055,7 +1055,7 @@
self.__ui.addSideWidget(self.__ui.BottomSide,
self.__fileManagerWidget,
UI.PixmapCache.getIcon("filemanager"),
- self.tr("μPy Files"))
+ self.tr("µPy Files"))
self.__ui.showSideWidget(self.__fileManagerWidget)
self.__device.setFileManager(True)
