blob: 1fb4347c703efc0f721a51239023d5b31e6411e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import os
from gi.repository import GtkSource
from Library import Library
global manager
manager = None
def get_language_manager():
global manager
if not manager:
dirs = []
for d in Library().systemdirs:
dirs.append(os.path.join(d, 'lang'))
manager = GtkSource.LanguageManager()
manager.set_search_path(dirs + manager.get_search_path())
return manager
|