##// END OF EJS Templates
Made quote button actually button so it is impossible to accidentally quote its text
Made quote button actually button so it is impossible to accidentally quote its text

File last commit:

r1774:f9746625 default
r1909:004a4ff8 default
Show More
settings.py
23 lines | 477 B | text/x-python | PythonLexer
import configparser
config = configparser.ConfigParser()
config.read('boards/config/default_settings.ini')
config.read('boards/config/settings.ini')
def get(section, name):
return config[section][name]
def get_int(section, name):
return int(get(section, name))
def get_bool(section, name):
return get(section, name) == 'true'
def get_list_dict(section, name):
str_dict = get(section, name)
return [item.split(':') for item in str_dict.split(',')]