Searched refs:ide_plugins (Results 1 – 5 of 5) sorted by relevance
10 from devtool.ide_plugins import IdeBase, GdbCrossConfig52 def register_ide_plugin(ide_plugins): argument53 ide_plugins['none'] = IdeNone
12 from devtool.ide_plugins import BuildTool, IdeBase, GdbCrossConfig, get_devtool_deploy_opts462 def register_ide_plugin(ide_plugins): argument463 ide_plugins['code'] = IdeVSCode
24 from devtool.ide_plugins import BuildTool30 ide_plugins = {} variable905 ide = ide_plugins[args.ide]()939 global ide_plugins950 ide_plugin_module.register_ide_plugin(ide_plugins)952 ide_plugins = dict(sorted(ide_plugins.items(),978 default_ide = list(ide_plugins.keys())[0]980 '-i', '--ide', choices=ide_plugins.keys(), default=default_ide,
[all...]