Esempio n. 1
0
def set_value(theme):
	try:
		database = open_database(basepath, "w")
		database["theme"] = theme
	finally:
		database.close()
	return
Esempio n. 2
0
def update_window_position_in_database(uri, window_position):
    try:
        database = open_database(basepath, "w")
        database[str(uri)] = window_position
    finally:
        database.close()
    return
Esempio n. 3
0
def update_window_position_in_database(uri, window_position):
	try:
		database = open_database(basepath, "w")
		database[str(uri)] = window_position
	finally:
		database.close()
	return
Esempio n. 4
0
def set_value(uri, cursor_position):
	try:
		database = open_database(basepath, "w")
		database[str(uri)] = cursor_position
	finally:
		database.close()
	return
Esempio n. 5
0
def set_value(minimal_mode):
	try:
		database = open_database(basepath, "w")
		database["minimal_mode"] = minimal_mode
	finally:
		database.close()
	return
Esempio n. 6
0
def set_value(uri, cursor_position):
    try:
        database = open_database(basepath, "w")
        database[str(uri)] = cursor_position
    finally:
        database.close()
    return
Esempio n. 7
0
def set_value(data):
    try:
        language, text_wrapping = data
        database = open_database(basepath, "w")
        database[language] = text_wrapping
    finally:
        database.close()
    return
Esempio n. 8
0
def set_value(data):
	try:
		language, tab_width = data
		database = open_database(basepath, "w")
		database[language] = tab_width
	finally:
		database.close()
	return
Esempio n. 9
0
def set_value(data):
    try:
        language, tab_width = data
        database = open_database(basepath, "w")
        database[language] = tab_width
    finally:
        database.close()
    return
Esempio n. 10
0
def set_value(data):
    try:
        language, margin_position = data
        database = open_database(basepath, "w")
        database[language] = margin_position
    finally:
        database.close()
    return
Esempio n. 11
0
def set_value(data):
	try:
		language, display_margin = data
		database = open_database(basepath, "w")
		database[language] = display_margin
	finally:
		database.close()
	return
Esempio n. 12
0
def set_value(data):
	try:
		language, margin_position = data
		database = open_database(basepath, "w")
		database[language] = margin_position
	finally:
		database.close()
	return
Esempio n. 13
0
def set_value(data):
    try:
        language, spellcheck = data
        database = open_database(basepath, "w")
        database[language] = spellcheck
    finally:
        database.close()
    return
Esempio n. 14
0
def set_value(data):
	try:
		language, spellcheck = data
		database = open_database(basepath, "w")
		database[language] = spellcheck
	finally:
		database.close()
	return
Esempio n. 15
0
def set_value(data):
	try:
		language, font = data
		database = open_database(basepath, "w")
		database[language] = font
	finally:
		database.close()
	return
Esempio n. 16
0
def set_value(data):
	try:
		language, text_wrapping = data
		database = open_database(basepath, "w")
		database[language] = text_wrapping
	finally:
		database.close()
	return
Esempio n. 17
0
def set_value(data):
    try:
        language, use_tabs = data
        database = open_database(basepath, "w")
        database[language] = use_tabs
    finally:
        database.close()
    return
Esempio n. 18
0
def set_value(data):
	try:
		language, use_tabs = data
		database = open_database(basepath, "w")
		database[language] = use_tabs
	finally:
		database.close()
	return
Esempio n. 19
0
def reset(language):
    try:
        database = open_database(basepath, "w")
        del database[language]
    except KeyError:
        pass
    finally:
        database.close()
    return
Esempio n. 20
0
def reset(language):
	try:
		database = open_database(basepath, "w")
		del database[language]
	except KeyError:
		pass
	finally:
		database.close()
	return
Esempio n. 21
0
def get_value():
	try:
		minimal_mode = False
		database = open_database(basepath, "r")
		minimal_mode = database["minimal_mode"]
	except KeyError:
		pass
	finally:
		database.close()
	return minimal_mode
Esempio n. 22
0
def get_value(language):
	try:
		text_wrapping = True
		database = open_database(basepath, "r")
		text_wrapping = database[language]
	except KeyError:
		if "def" in database: text_wrapping = database["def"]
	finally:
		database.close()
	return text_wrapping
Esempio n. 23
0
def get_value(language):
    try:
        spellcheck = False
        database = open_database(basepath, "r")
        spellcheck = database[language]
    except KeyError:
        if "def" in database: spellcheck = database["def"]
    finally:
        database.close()
    return spellcheck
Esempio n. 24
0
def get_value(language):
	try:
		spellcheck = False
		database = open_database(basepath, "r")
		spellcheck = database[language]
	except KeyError:
		if "def" in database: spellcheck = database["def"]
	finally:
		database.close()
	return spellcheck
Esempio n. 25
0
def get_value(language):
	try:
		font = __get_default_font()
		database = open_database(basepath, "r")
		font = database[language]
	except KeyError:
		if "def" in database: font = database["def"]
	finally:
		database.close()
	return font
Esempio n. 26
0
def get_value(language):
	try:
		margin_position = 72
		database = open_database(basepath, "r")
		margin_position = database[language]
	except KeyError:
		if "def" in database: margin_position = database["def"]
	finally:
		database.close()
	return margin_position
Esempio n. 27
0
def get_value(language):
    try:
        text_wrapping = True
        database = open_database(basepath, "r")
        text_wrapping = database[language]
    except KeyError:
        if "def" in database: text_wrapping = database["def"]
    finally:
        database.close()
    return text_wrapping
Esempio n. 28
0
def get_window_position_from_database(uri):
	try:
		database = open_database(basepath, "r")
		window_position = database[uri]
	except KeyError:
		KEY = "<EMPTY>"
		window_position = database[KEY] if database.has_key(KEY) else None
	finally:
		database.close()
	return window_position
Esempio n. 29
0
def get_value():
	try:
		theme = "oblivion"
		database = open_database(basepath, "r")
		theme = database["theme"]
	except:
		pass
	finally:
		database.close()
	return theme
Esempio n. 30
0
def get_value(uri):
	try:
		cursor_position = 0, 0
		database = open_database(basepath, "r")
		cursor_position = database[uri]
	except KeyError:
		pass
	finally:
		database.close()
	return cursor_position
Esempio n. 31
0
def get_value(language):
	try:
		tab_width = 4
		database = open_database(basepath, "r")
		tab_width = database[language]
	except KeyError:
		if "def" in database: tab_width = database["def"]
	finally:
		database.close()
	return tab_width
Esempio n. 32
0
def get_value(language):
	try:
		display_margin = True
		database = open_database(basepath, "r")
		display_margin = database[language]
	except KeyError:
		if "def" in database: display_margin = database["def"]
	finally:
		database.close()
	return display_margin
Esempio n. 33
0
def get_value(language):
    try:
        use_tabs = True
        database = open_database(basepath, "r")
        use_tabs = database[language]
    except KeyError:
        if "def" in database: use_tabs = database["def"]
    finally:
        database.close()
    return use_tabs
Esempio n. 34
0
def get_value(language):
    try:
        tab_width = 4
        database = open_database(basepath, "r")
        tab_width = database[language]
    except KeyError:
        if "def" in database: tab_width = database["def"]
    finally:
        database.close()
    return tab_width
Esempio n. 35
0
def get_value(language):
	try:
		use_tabs = True
		database = open_database(basepath, "r")
		use_tabs = database[language]
	except KeyError:
		if "def" in database: use_tabs = database["def"]
	finally:
		database.close()
	return use_tabs
Esempio n. 36
0
def get_value(uri):
    try:
        cursor_position = 0, 0
        database = open_database(basepath, "r")
        cursor_position = database[uri]
    except KeyError:
        pass
    finally:
        database.close()
    return cursor_position
Esempio n. 37
0
def get_window_position_from_database(uri):
    try:
        database = open_database(basepath, "r")
        window_position = database[uri]
    except KeyError:
        KEY = "<EMPTY>"
        window_position = database[KEY] if database.has_key(KEY) else None
    finally:
        database.close()
    return window_position
Esempio n. 38
0
def get_value(language):
    try:
        margin_position = 72
        database = open_database(basepath, "r")
        margin_position = database[language]
    except KeyError:
        if "def" in database: margin_position = database["def"]
    finally:
        database.close()
    return margin_position