def addListsSetCraftProfile(craftSequence, defaultProfile, repository, fileNameHelp): "Set the craft profile repository." settings.addListsToRepository(fileNameHelp, '', repository) repository.craftSequenceLabel = settings.LabelDisplay().getFromName( 'Craft Sequence: ', repository) craftToolStrings = [] for craftTool in craftSequence[:-1]: craftToolStrings.append( settings.getEachWordCapitalized(craftTool) + '->') craftToolStrings.append(settings.getEachWordCapitalized(craftSequence[-1])) for craftToolStringIndex in xrange(0, len(craftToolStrings), 5): craftLine = ' '.join( craftToolStrings[craftToolStringIndex:craftToolStringIndex + 5]) settings.LabelDisplay().getFromName(craftLine, repository) settings.LabelDisplay().getFromName('', repository) repository.profileList = ProfileList().getFromName('Profile List:', repository) repository.profileListbox = ProfileListboxSetting().getFromListSetting( repository.profileList, 'Profile Selection:', repository, defaultProfile) repository.addListboxSelection = AddProfile( ).getFromProfileListboxSettingRepository(repository.profileListbox, repository) repository.deleteListboxSelection = DeleteProfile( ).getFromProfileListboxSettingRepository(repository.profileListbox, repository) directoryName = archive.getProfilesPath() gcodec.makeDirectory(directoryName) repository.windowPosition.value = '0+400'
def writeXMLElement(fileNames, target, xmlElement): "Write target." object = target.object if object == None: print('Warning, writeTarget in write could not get object for:') print(xmlElement) return fileNameRoot = evaluate.getEvaluatedStringDefault('', 'name', target) fileNameRoot = evaluate.getEvaluatedStringDefault(fileNameRoot, 'id', target) fileNameRoot = evaluate.getEvaluatedStringDefault(fileNameRoot, 'file', xmlElement) fileNameRoot += evaluate.getEvaluatedStringDefault('', 'suffix', xmlElement) extension = evaluate.getEvaluatedStringDefault( object.getFabricationExtension(), 'extension', xmlElement) fileName = '%s.%s' % (fileNameRoot, extension) suffixIndex = 1 while fileName in fileNames: fileName = '%s_%s.%s' % (fileNameRoot, suffixIndex, extension) suffixIndex += 1 fileNames.append(fileName) folderName = evaluate.getEvaluatedStringDefault('', 'folder', xmlElement) absoluteFolderDirectory = os.path.join( os.path.dirname(xmlElement.getRoot().parser.fileName), folderName) gcodec.makeDirectory(absoluteFolderDirectory) gcodec.writeFileText(os.path.join(absoluteFolderDirectory, fileName), object.getFabricationText())
def __init__(self): "Set the default entities, execute title & repository fileName." settings.addListsToRepository('skeinforge_application.skeinforge_utilities.skeinforge_profile.html', '', self ) importantFileNames = ['extrusion'] self.craftRadios = settings.getRadioPluginsAddPluginFrame( getPluginsDirectoryPath(), importantFileNames, getPluginFileNames(), self ) ProfilePluginRadioButtonsSaveListener().getFromRadioPlugins( self.craftRadios, self ) for craftRadio in self.craftRadios: craftRadio.updateFunction = self.updateRelay directoryName = archive.getProfilesPath() gcodec.makeDirectory(directoryName) self.windowPosition.value = '0+200'
def __init__(self): "Set the default entities, execute title & repository fileName." settings.addListsToRepository( 'skeinforge_application.skeinforge_utilities.skeinforge_profile.html', '', self) importantFileNames = ['extrusion'] self.craftRadios = settings.getRadioPluginsAddPluginFrame( getPluginsDirectoryPath(), importantFileNames, getPluginFileNames(), self) ProfilePluginRadioButtonsSaveListener().getFromRadioPlugins( self.craftRadios, self) for craftRadio in self.craftRadios: craftRadio.updateFunction = self.updateRelay directoryName = archive.getProfilesPath() gcodec.makeDirectory(directoryName) self.windowPosition.value = '0+200'
def addListsSetCraftProfile( craftSequence, defaultProfile, repository, fileNameHelp ): "Set the craft profile repository." settings.addListsToRepository( fileNameHelp, '', repository ) repository.craftSequenceLabel = settings.LabelDisplay().getFromName('Craft Sequence: ', repository ) craftToolStrings = [] for craftTool in craftSequence[ : - 1 ]: craftToolStrings.append( settings.getEachWordCapitalized( craftTool ) + '->') craftToolStrings.append( settings.getEachWordCapitalized( craftSequence[-1] ) ) for craftToolStringIndex in xrange( 0, len( craftToolStrings ), 5 ): craftLine = ' '.join( craftToolStrings[ craftToolStringIndex : craftToolStringIndex + 5 ] ) settings.LabelDisplay().getFromName( craftLine, repository ) settings.LabelDisplay().getFromName('', repository ) repository.profileList = ProfileList().getFromName('Profile List:', repository ) repository.profileListbox = ProfileListboxSetting().getFromListSetting( repository.profileList, 'Profile Selection:', repository, defaultProfile ) repository.addListboxSelection = AddProfile().getFromProfileListboxSettingRepository( repository.profileListbox, repository ) repository.deleteListboxSelection = DeleteProfile().getFromProfileListboxSettingRepository( repository.profileListbox, repository ) directoryName = archive.getProfilesPath() gcodec.makeDirectory(directoryName) repository.windowPosition.value = '0+400'
def writeXMLElement(fileNames, target, xmlElement): "Write target." object = target.object if object == None: print('Warning, writeTarget in write could not get object for:') print(xmlElement) return fileNameRoot = evaluate.getEvaluatedStringDefault('', 'name', target) fileNameRoot = evaluate.getEvaluatedStringDefault(fileNameRoot, 'id', target) fileNameRoot = evaluate.getEvaluatedStringDefault(fileNameRoot, 'file', xmlElement) fileNameRoot += evaluate.getEvaluatedStringDefault('', 'suffix', xmlElement) extension = evaluate.getEvaluatedStringDefault(object.getFabricationExtension(), 'extension', xmlElement) fileName = '%s.%s' % (fileNameRoot, extension) suffixIndex = 1 while fileName in fileNames: fileName = '%s_%s.%s' % (fileNameRoot, suffixIndex, extension) suffixIndex += 1 fileNames.append(fileName) folderName = evaluate.getEvaluatedStringDefault('', 'folder', xmlElement) absoluteFolderDirectory = os.path.join(os.path.dirname(xmlElement.getRoot().parser.fileName), folderName) gcodec.makeDirectory(absoluteFolderDirectory) gcodec.writeFileText(os.path.join(absoluteFolderDirectory, fileName), object.getFabricationText())
def delete(self): "Delete the selection of a listbox setting." self.profileListboxSetting.setToDisplay() self.profileListboxSetting.listSetting.setValueToFolders() if self.profileListboxSetting.value not in self.profileListboxSetting.listSetting.value: return lastSelectionIndex = 0 currentSelectionTuple = self.profileListboxSetting.listbox.curselection( ) if len(currentSelectionTuple) > 0: lastSelectionIndex = int(currentSelectionTuple[0]) else: print('No profile is selected, so no profile will be deleted.') return settings.deleteDirectory( archive.getProfilesPath( self.profileListboxSetting.listSetting.craftTypeName), self.profileListboxSetting.value) settings.deleteDirectory( getProfilesDirectoryInAboveDirectory( self.profileListboxSetting.listSetting.craftTypeName), self.profileListboxSetting.value) self.profileListboxSetting.listSetting.setValueToFolders() if len(self.profileListboxSetting.listSetting.value) < 1: defaultSettingsDirectory = archive.getProfilesPath( os.path.join( self.profileListboxSetting.listSetting.craftTypeName, self.profileListboxSetting.defaultValue)) gcodec.makeDirectory(defaultSettingsDirectory) self.profileListboxSetting.listSetting.setValueToFolders() lastSelectionIndex = min( lastSelectionIndex, len(self.profileListboxSetting.listSetting.value) - 1) self.profileListboxSetting.value = self.profileListboxSetting.listSetting.value[ lastSelectionIndex] self.profileListboxSetting.setStateToValue() self.no()
def delete(self): "Delete the selection of a listbox setting." self.profileListboxSetting.setToDisplay() self.profileListboxSetting.listSetting.setValueToFolders() if self.profileListboxSetting.value not in self.profileListboxSetting.listSetting.value: return lastSelectionIndex = 0 currentSelectionTuple = self.profileListboxSetting.listbox.curselection() if len( currentSelectionTuple ) > 0: lastSelectionIndex = int( currentSelectionTuple[0] ) else: print('No profile is selected, so no profile will be deleted.') return settings.deleteDirectory( archive.getProfilesPath( self.profileListboxSetting.listSetting.craftTypeName ), self.profileListboxSetting.value ) settings.deleteDirectory( getProfilesDirectoryInAboveDirectory( self.profileListboxSetting.listSetting.craftTypeName ), self.profileListboxSetting.value ) self.profileListboxSetting.listSetting.setValueToFolders() if len( self.profileListboxSetting.listSetting.value ) < 1: defaultSettingsDirectory = archive.getProfilesPath( os.path.join( self.profileListboxSetting.listSetting.craftTypeName, self.profileListboxSetting.defaultValue ) ) gcodec.makeDirectory( defaultSettingsDirectory ) self.profileListboxSetting.listSetting.setValueToFolders() lastSelectionIndex = min( lastSelectionIndex, len( self.profileListboxSetting.listSetting.value ) - 1 ) self.profileListboxSetting.value = self.profileListboxSetting.listSetting.value[ lastSelectionIndex ] self.profileListboxSetting.setStateToValue() self.no()