1
Clutter = imports.gi.Clutter;
4
function load_svg(theme, file)
6
var tx = new Clutter.Texture({filename: imports.Path.file_prefix + "themes/"
7
+ theme + "/" + file});
8
tx.filter_quality = Clutter.TextureQuality.HIGH;
13
function load_theme(stage, theme)
20
for(actor in theme.textures)
21
stage.add_actor(theme.textures[actor]);
24
function load_themes()
28
file = Gio.file_new_for_path(imports.Path.file_prefix + "/themes");
29
enumerator = file.enumerate_children("standard::name");
31
while((child = enumerator.next_file()))
33
var c_theme = imports.themes[child.get_name()].theme;
34
themes[c_theme.name] = c_theme;