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) |