Exemplo n.º 1
0
def addRecentItem(manager, f):
	uri = "file://" + urllib.pathname2url(f)
	mime = misc.get_mime_type(file(f).read())
	if mime:
		data = { 'mime_type': mime, 'app_name' : "gnoduino", 'app_exec' : "gnoduino" }
		manager.add_full(uri, data)
	else:
		manager.add_item(uri)
Exemplo n.º 2
0
def addRecentItem(manager, f):
    uri = "file://" + urllib.pathname2url(f)
    mime = misc.get_mime_type(file(f).read())
    if mime:
        data = {
            'mime_type': mime,
            'app_name': "gnoduino",
            'app_exec': "gnoduino"
        }
        manager.add_full(uri, data)
    else:
        manager.add_item(uri)
Exemplo n.º 3
0
def get_lang_for_content(content):
	mime = misc.get_mime_type(content)
	manager = gtksourceview2.language_manager_get_default()
	languages = gtksourceview2.LanguageManager.get_language_ids(manager)
	for l in languages:
		lang = manager.get_language(l)
		if lang == None: return None
		globs = gtksourceview2.Language.get_mime_types(lang)
		if globs == None: continue
		for p in globs:
			if p == mime:
				return lang