eric6/MicroPython/MicroPythonWidget.py

changeset 7321
3642cc5df144
parent 7229
53054eb5b15a
child 7325
f05a814aeddc
equal deleted inserted replaced
7320:5f888d21ef3e 7321:3642cc5df144
1107 act = self.__superMenu.addAction( 1107 act = self.__superMenu.addAction(
1108 self.tr("Show Device Time"), self.__showDeviceTime) 1108 self.tr("Show Device Time"), self.__showDeviceTime)
1109 act.setEnabled(self.__connected) 1109 act.setEnabled(self.__connected)
1110 self.__superMenu.addAction( 1110 self.__superMenu.addAction(
1111 self.tr("Show Local Time"), self.__showLocalTime) 1111 self.tr("Show Local Time"), self.__showLocalTime)
1112 # TODO: add entry to show local and device time side-by-side
1112 self.__superMenu.addSeparator() 1113 self.__superMenu.addSeparator()
1113 if not Globals.isWindowsPlatform(): 1114 if not Globals.isWindowsPlatform():
1114 available = self.__mpyCrossAvailable() 1115 available = self.__mpyCrossAvailable()
1115 act = self.__superMenu.addAction( 1116 act = self.__superMenu.addAction(
1116 self.tr("Compile Python File"), self.__compileFile2Mpy) 1117 self.tr("Compile Python File"), self.__compileFile2Mpy)

eric ide

mercurial