103 self.localFileTreeWidget.customContextMenuRequested.connect( |
103 self.localFileTreeWidget.customContextMenuRequested.connect( |
104 self.__showLocalContextMenu) |
104 self.__showLocalContextMenu) |
105 self.deviceFileTreeWidget.customContextMenuRequested.connect( |
105 self.deviceFileTreeWidget.customContextMenuRequested.connect( |
106 self.__showDeviceContextMenu) |
106 self.__showDeviceContextMenu) |
107 |
107 |
|
108 # TODO: add entry to show hidden files |
108 self.__localMenu = QMenu(self) |
109 self.__localMenu = QMenu(self) |
109 self.__localMenu.addAction(self.tr("Change Directory"), |
110 self.__localMenu.addAction(self.tr("Change Directory"), |
110 self.__changeLocalDirectory) |
111 self.__changeLocalDirectory) |
111 self.__localMenu.addAction( |
112 self.__localMenu.addAction( |
112 self.tr("Create Directory"), self.__createLocalDirectory) |
113 self.tr("Create Directory"), self.__createLocalDirectory) |
114 self.tr("Delete Directory Tree"), self.__deleteLocalDirectoryTree) |
115 self.tr("Delete Directory Tree"), self.__deleteLocalDirectoryTree) |
115 self.__localMenu.addSeparator() |
116 self.__localMenu.addSeparator() |
116 self.__localDelFileAct = self.__localMenu.addAction( |
117 self.__localDelFileAct = self.__localMenu.addAction( |
117 self.tr("Delete File"), self.__deleteLocalFile) |
118 self.tr("Delete File"), self.__deleteLocalFile) |
118 |
119 |
|
120 # TODO: add entry to show hidden files |
119 self.__deviceMenu = QMenu(self) |
121 self.__deviceMenu = QMenu(self) |
120 if not self.__repl.isMicrobit(): |
122 if not self.__repl.isMicrobit(): |
121 self.__deviceMenu.addAction( |
123 self.__deviceMenu.addAction( |
122 self.tr("Change Directory"), self.__changeDeviceDirectory) |
124 self.tr("Change Directory"), self.__changeDeviceDirectory) |
123 self.__deviceMenu.addAction( |
125 self.__deviceMenu.addAction( |