- button() : src.debug
- CheckBoxRect() : src.mainWindow
- checkVersion() : src.db
- editRecord() : src.ownedUsbDisk
- ensureDirExists() : src.usbThread
- firstdir() : src.globaldef
- fs_size() : src.usbDisk2
- hasStudent() : src.db
- inspectData() : src.usbDisk2
- knowsId() : src.db
- listePartitionsCochees() : src.debug
- major() : src.version
- minor() : src.version
- openDb() : src.db
- print_targets_if_modif() : src.ownedUsbDisk , src.usbDisk2
- readPrefs() : src.db
- readStudent() : src.db
- registerCmd() : src.mainWindow
- run() : src.scolasync
- safePath() : src.usbDisk2
- sceneWithUsage() : src.diskFull
- setWd() : src.db
- tattooInDir() : src.ownedUsbDisk
- tattooList() : src.db
- test_copy2() : src.usbThread
- test_copytree() : src.usbThread
- version() : src.version
- writePrefs() : src.db
- writeStudent() : src.db