|
|
@ -21,6 +21,15 @@ import sys
|
|
|
|
import re
|
|
|
|
import re
|
|
|
|
import subprocess
|
|
|
|
import subprocess
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def select_color():
|
|
|
|
|
|
|
|
try:
|
|
|
|
|
|
|
|
if filter(re.compile(r"(cld|cldx|cldg|cmc|cls)-themes-12").search,
|
|
|
|
|
|
|
|
os.listdir('/var/db/pkg/media-gfx')):
|
|
|
|
|
|
|
|
return "#73a363"
|
|
|
|
|
|
|
|
except:
|
|
|
|
|
|
|
|
pass
|
|
|
|
|
|
|
|
return '#30648b'
|
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
if __name__ == "__main__":
|
|
|
|
if gtk.gdk.get_display():
|
|
|
|
if gtk.gdk.get_display():
|
|
|
|
window = gtk.Window(gtk.WINDOW_TOPLEVEL)
|
|
|
|
window = gtk.Window(gtk.WINDOW_TOPLEVEL)
|
|
|
@ -43,7 +52,7 @@ if __name__ == "__main__":
|
|
|
|
|
|
|
|
|
|
|
|
window.set_border_width(0)
|
|
|
|
window.set_border_width(0)
|
|
|
|
window.modify_bg(gtk.STATE_NORMAL,
|
|
|
|
window.modify_bg(gtk.STATE_NORMAL,
|
|
|
|
gtk.gdk.rgb_get_colormap().alloc_color('#30648b'))
|
|
|
|
gtk.gdk.rgb_get_colormap().alloc_color(select_color()))
|
|
|
|
|
|
|
|
|
|
|
|
window.show()
|
|
|
|
window.show()
|
|
|
|
pid = os.fork()
|
|
|
|
pid = os.fork()
|
|
|
|