def addToProfileMenu( profileSelection, profileType, repository ): "Add a profile menu." pluginFilenames = preferences.getPluginFilenames() craftTypeName = preferences.getCraftTypeName() pluginModule = preferences.getCraftTypePluginModule() profilePluginPreferences = preferences.getReadRepository( pluginModule.getRepositoryConstructor() ) for profileName in profilePluginPreferences.profileList.value: preferences.ProfileSelectionMenuRadio().getFromMenuButtonDisplay( profileSelection, profileName, repository, profileName == profilePluginPreferences.profileListbox.value ) for pluginFilename in pluginFilenames: preferences.ProfileTypeMenuRadio().getFromMenuButtonDisplay( profileType, pluginFilename, repository, craftTypeName == pluginFilename )
def addSubmenus(craftTypeName, menu, pluginFilename, pluginPath, profileRadioVar): "Add a tool plugin menu." submenu = preferences.Tkinter.Menu(menu, tearoff=0) menu.add_cascade(label=pluginFilename.capitalize(), menu=submenu) preferences.ToolDialog().addPluginToMenu(submenu, pluginPath) submenu.add_separator() pluginModule = preferences.getCraftTypePluginModule(pluginFilename) profilePluginPreferences = preferences.getReadRepository(pluginModule.getRepositoryConstructor()) isSelected = craftTypeName == pluginFilename for profileName in profilePluginPreferences.profileList.value: value = isSelected and profileName == profilePluginPreferences.profileListbox.value preferences.ProfileMenuRadio(pluginFilename, submenu, profileName, profileRadioVar, value)
def getReadCraftSequence(): "Get profile sequence." return preferences.getCraftTypePluginModule().getCraftSequence()