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)
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)
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