blob: e738333e624e59c2c2c2b7755049dc6d5768168e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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
# ex:ts=4:et:
|
