def addToProfileMenu(menu):
"Add a profile menu."
preferences.ToolDialog().addPluginToMenu(menu, __file__[: __file__.rfind(".")])
menu.add_separator()
directoryPath = preferences.getPluginsDirectoryPath()
pluginFilenames = preferences.getPluginFilenames()
craftTypeName = preferences.getCraftTypeName()
profileRadioVar = preferences.Tkinter.StringVar()
for pluginFilename in pluginFilenames:
addSubmenus(craftTypeName, menu, pluginFilename, os.path.join(directoryPath, pluginFilename), profileRadioVar)
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 )
