Exemplo n.º 1
0
def set_value(theme):
	try:
		database = open_database(basepath, "w")
		database["theme"] = theme
	finally:
		database.close()
	return
Exemplo 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
Exemplo 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
Exemplo n.º 4
0
def set_value(uri, cursor_position):
	try:
		database = open_database(basepath, "w")
		database[str(uri)] = cursor_position
	finally:
		database.close()
	return
Exemplo n.º 5
0
def set_value(minimal_mode):
	try:
		database = open_database(basepath, "w")
		database["minimal_mode"] = minimal_mode
	finally:
		database.close()
	return
Exemplo n.º 6
0
def set_value(uri, cursor_position):
    try:
        database = open_database(basepath, "w")
        database[str(uri)] = cursor_position
    finally:
        database.close()
    return
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo n.º 13
0
def set_value(data):
    try:
        language, spellcheck = data
        database = open_database(basepath, "w")
        database[language] = spellcheck
    finally:
        database.close()
    return
Exemplo n.º 14
0
def set_value(data):
	try:
		language, spellcheck = data
		database = open_database(basepath, "w")
		database[language] = spellcheck
	finally:
		database.close()
	return
Exemplo n.º 15
0
def set_value(data):
	try:
		language, font = data
		database = open_database(basepath, "w")
		database[language] = font
	finally:
		database.close()
	return
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo n.º 19
0
def reset(language):
    try:
        database = open_database(basepath, "w")
        del database[language]
    except KeyError:
        pass
    finally:
        database.close()
    return
Exemplo n.º 20
0
def reset(language):
	try:
		database = open_database(basepath, "w")
		del database[language]
	except KeyError:
		pass
	finally:
		database.close()
	return
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo n.º 29
0
def get_value():
	try:
		theme = "oblivion"
		database = open_database(basepath, "r")
		theme = database["theme"]
	except:
		pass
	finally:
		database.close()
	return theme
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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
Exemplo 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