robotide.preferences.settings Namespace Reference

Classes
class	_Section
class	ConfigurationError
class	RideSettings
class	SectionError
	Used when section is tried to replace with normal value or vice versa. More...
class	Settings
class	SettingsMigrator

Functions
def	_copy_or_migrate_user_settings (settings_dir, source_path, dest_file_name)
	Creates settings directory and copies or merges the source to there. More...
def	initialize_settings (path, dest_file_name=None)

Function Documentation

_copy_or_migrate_user_settings()

def robotide.preferences.settings._copy_or_migrate_user_settings (   settings_dir,   source_path,   dest_file_name  )

private

Creates settings directory and copies or merges the source to there.

In case source already exists, merge is done. Destination file name is the source_path's file name unless dest_file_name is given.

Definition at line 43 of file settings.py.

initialize_settings()

def robotide.preferences.settings.initialize_settings	(		path,
			dest_file_name = None
	)

Definition at line 25 of file settings.py.