Module implementing a file manager for MicroPython devices.
None |
MicroPythonFileManagerWidget | Class implementing a file manager for MicroPython devices. |
None |
Class implementing a file manager for MicroPython devices.
None |
None |
MicroPythonFileManagerWidget | Constructor |
__changeDeviceDirectory | Private slot to change the current directory of the device. |
__changeLocalDirectory | Private slot to change the local directory. |
__clearDeviceSelection | Private slot to clear the local selection. |
__clearLocalSelection | Private slot to clear the local selection. |
__createDeviceDirectory | Private slot to create a directory on the device. |
__createLocalDirectory | Private slot to create a local directory. |
__deleteDeviceDirectory | Private slot to delete an empty directory on the device. |
__deleteDeviceDirectoryTree | Private slot to delete a directory and all its subdirectories recursively. |
__deleteDeviceFile | Private slot to delete a file. |
__deleteLocalDirectoryTree | Private slot to delete a local directory tree. |
__deleteLocalFile | Private slot to delete a local file. |
__deviceHiddenChanged | Private slot handling a change of the device show hidden menu entry. |
__findDirectoryItem | Private method to find a file tree item for the given path. |
__fsInfoResultReceived | Private slot to show the file system information of the device. |
__handleCurrentDir | Private slot to handle a change of the current directory of the device. |
__handleError | Private slot to handle errors. |
__handleGetDone | Private slot handling a successful copy of a file from the device. |
__handleLongListFiles | Private slot to receive a long directory listing. |
__handleRsyncDone | Private method to handle the completion of the rsync operation. |
__handleRsyncProgressMessage | Private slot handling progress messages sent by the file manager. |
__isFileInList | Private method to check, if a file name is contained in a tree widget. |
__listLocalFiles | Private method to populate the local files list. |
__localHiddenChanged | Private slot handling a change of the local show hidden menu entry. |
__newDeviceList | Private slot to initiate a new long list of the device directory. |
__progressInfoDialogFinished | Private slot handling the closing of the progress info dialog. |
__renameDeviceFile | Private slot to rename a file on the device. |
__renameLocalFile | Private slot to rename a file on the device. |
__repopulateLocalFilesList | Private method to re-populate the local files tree. |
__showDeviceContextMenu | Private slot to show the REPL context menu. |
__showFileSystemInfo | Private slot to show some file system information. |
__showLocalContextMenu | Private slot to show the REPL context menu. |
__updateSaveButtonStates | Private slot to update the enabled state of the save buttons. |
on_deviceCwd_textChanged | Private slot handling a change of the current device working directory. |
on_deviceFileTreeWidget_itemActivated | Private slot to handle the activation of a device item. |
on_deviceFileTreeWidget_itemExpanded | Private slot handling the expansion of a local directory item. |
on_deviceFileTreeWidget_itemSelectionChanged | Private slot handling a change of selection in the local pane. |
on_deviceHomeButton_clicked | Private slot to move to the device home directory. |
on_deviceReloadButton_clicked | Private slot to reload the device list. |
on_deviceUpButton_clicked | Private slot to go up one directory level on the device. |
on_getAsButton_clicked | Private slot to copy the selected file from the connected device with a different name. |
on_getButton_clicked | Private slot to copy the selected file from the connected device. |
on_localCwd_textChanged | Private slot handling a change of the current local working directory. |
on_localFileTreeWidget_itemActivated | Private slot to handle the activation of a local item. |
on_localFileTreeWidget_itemExpanded | Private slot handling the expansion of a local directory item. |
on_localFileTreeWidget_itemSelectionChanged | Private slot handling a change of selection in the local pane. |
on_localHomeButton_clicked | Private slot to change directory to the configured workspace. |
on_localReloadButton_clicked | Private slot to reload the local list. |
on_localUpButton_clicked | Private slot to go up one directory level. |
on_openButton_clicked | Private slot to open the selected file in a new editor. |
on_putAsButton_clicked | Private slot to copy the selected file to the connected device with a different name. |
on_putButton_clicked | Private slot to copy the selected file to the connected device. |
on_saveAsButton_clicked | Private slot to save the current editor in a new file on the connected device. |
on_saveButton_clicked | Private slot to save the text of the current editor to a file on the device. |
on_syncButton_clicked | Private slot to synchronize the local directory to the device. |
start | Public method to start the widget. |
stop | Public method to stop the widget. |
None |
Constructor
Private slot to change the current directory of the device.
Note: This triggers a re-population of the device list for the new current directory.
Private slot to change the local directory.
Private slot to clear the local selection.
Private slot to clear the local selection.
Private slot to create a directory on the device.
Private slot to create a local directory.
Private slot to delete an empty directory on the device.
Private slot to delete a directory and all its subdirectories recursively.
Private slot to delete a file.
Private slot to delete a local directory tree.
Private slot to delete a local file.
Private slot handling a change of the device show hidden menu entry.
Private method to find a file tree item for the given path.
Private slot to show the file system information of the device.
Private slot to handle a change of the current directory of the device.
Private slot to handle errors.
Private slot handling a successful copy of a file from the device.
Private slot to receive a long directory listing.
Private method to handle the completion of the rsync operation.
Private slot handling progress messages sent by the file manager.
Private method to check, if a file name is contained in a tree widget.
Private method to populate the local files list.
Private slot handling a change of the local show hidden menu entry.
Private slot to initiate a new long list of the device directory.
Private slot handling the closing of the progress info dialog.
Private slot to rename a file on the device.
Private slot to rename a file on the device.
Private method to re-populate the local files tree.
Private slot to show the REPL context menu.
Private slot to show some file system information.
Private slot to show the REPL context menu.
Private slot to update the enabled state of the save buttons.
Private slot handling a change of the current device working directory.
Private slot to handle the activation of a device item.
If the item is a directory, the current working directory is changed and the list will be re-populated for this directory.
Private slot handling the expansion of a local directory item.
Private slot handling a change of selection in the local pane.
Private slot to move to the device home directory.
Private slot to reload the device list.
Private slot to go up one directory level on the device.
Private slot to copy the selected file from the connected device with a different name.
Private slot to copy the selected file from the connected device.
Private slot handling a change of the current local working directory.
Private slot to handle the activation of a local item.
If the item is a directory, the list will be re-populated for this directory.
Private slot handling the expansion of a local directory item.
Private slot handling a change of selection in the local pane.
Private slot to change directory to the configured workspace.
Private slot to reload the local list.
Private slot to go up one directory level.
Private slot to open the selected file in a new editor.
Private slot to copy the selected file to the connected device with a different name.
Private slot to copy the selected file to the connected device.
Private slot to save the current editor in a new file on the connected device.
Private slot to save the text of the current editor to a file on the device.
Private slot to synchronize the local directory to the device.
Public method to start the widget.
Public method to stop the widget.