X-Git-Url: https://git.cweiske.de/enigma2.git/blobdiff_plain/8ade23537a682d4b0c9709d533b25702bde2ee23..8a7fd294aeb67932e1057bf967958bbe5a959cfb:/skin.py diff --git a/skin.py b/skin.py index 2996edb0..2e913a08 100644 --- a/skin.py +++ b/skin.py @@ -2,6 +2,9 @@ from enigma import * import xml.dom.minidom from xml.dom import EMPTY_NAMESPACE + +colorNames = dict() + def dump(x, i=0): print " " * i + str(x) try: @@ -11,22 +14,78 @@ def dump(x, i=0): None dom = xml.dom.minidom.parseString( - """ - - - + """ + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - -""") + + + + + + + + + + + + + + + + + + + + """) +# filters all elements of childNode with the specified function +# example: nodes = elementsWithTag(childNodes, lambda x: x == "bla") +def elementsWithTag(el, tag): + # fiiixme! (works but isn't nice) + if tag.__class__ == "".__class__: + str = tag + tag = lambda x: x == str + + for x in el: + if x.nodeType != xml.dom.minidom.Element.nodeType: + continue + if tag(x.tagName): + yield x def parsePosition(str): x, y = str.split(',') @@ -36,42 +95,169 @@ def parseSize(str): x, y = str.split(',') return eSize(int(x), int(y)) -def applyAttributes(guiObject, node): +def parseFont(str): + name, size = str.split(';') + return gFont(name, int(size)) + +def parseColor(str): + if str[0] != '#': + try: + return colorNames[str] + except: + raise ("color '%s' must be #aarrggbb or valid named color" % (str)) + return gRGB(int(str[1:], 0x10)) + +def applyAttributes(guiObject, node, desktop): # walk all attributes for p in range(node.attributes.length): a = node.attributes.item(p) + # convert to string (was: unicode) + attrib = str(a.name) + # TODO: proper UTF8 translation?! (for value) + # TODO: localization? as in e1? + value = str(a.value) + # and set attributes - if a.name == 'position': - guiObject.move(parsePosition(a.value)) - elif a.name == 'size': - guiObject.resize(parseSize(a.value)) - elif a.name != 'name': - print "unsupported attribute " + a.name + try: + if attrib == 'position': + guiObject.move(parsePosition(value)) + elif attrib == 'size': + guiObject.resize(parseSize(value)) + elif attrib == 'title': + guiObject.setTitle(value) + elif attrib == 'text': + guiObject.setText(value) + elif attrib == 'font': + guiObject.setFont(parseFont(value)) + elif attrib == "pixmap": + ptr = gPixmapPtr() + if loadPNG(ptr, value): + raise "loading PNG failed!" + x = ptr + ptr = ptr.__deref__() + print desktop + desktop.makeCompatiblePixmap(ptr) + guiObject.setPixmap(ptr) +# guiObject.setPixmapFromFile(value) + elif attrib == "valign": + try: + guiObject.setVAlign( + { "top": guiObject.alignTop, + "center": guiObject.alignCenter, + "bottom": guiObject.alignBottom + }[value]) + except KeyError: + print "valign must be either top, center or bottom!" + elif attrib == "halign": + try: + guiObject.setHAlign( + { "left": guiObject.alignLeft, + "center": guiObject.alignCenter, + "right": guiObject.alignRight, + "block": guiObject.alignBlock + }[value]) + except KeyError: + print "halign must be either left, center, right or block!" + elif attrib == "flags": + flags = value.split(',') + for f in flags: + try: + fv = eWindow.__dict__[f] + guiObject.setFlag(fv) + except KeyError: + print "illegal flag %s!" % f + elif attrib == "backgroundColor": + guiObject.setBackgroundColor(parseColor(value)) + elif attrib != 'name': + print "unsupported attribute " + attrib + "=" + value + except AttributeError: + print "widget %s (%s) doesn't support attribute %s!" % ("", guiObject.__class__.__name__, attrib) -def applyGUIskin(screen, skin, name): +def loadSkin(): + print "loading skin..." + + def getPNG(x): + g = gPixmapPtr() + loadPNG(g, x) + g = g.grabRef() + return g + skin = dom.childNodes[0] + assert skin.tagName == "skin", "root element in skin must be 'skin'!" + + for c in elementsWithTag(skin.childNodes, "colors"): + for color in elementsWithTag(c.childNodes, "color"): + name = str(color.getAttribute("name")) + color = str(color.getAttribute("value")) + + if not len(color): + raise ("need color and name, got %s %s" % (name, color)) + + colorNames[name] = parseColor(color) + + for windowstyle in elementsWithTag(skin.childNodes, "windowstyle"): + style = eWindowStyleSkinned() + + for borderset in elementsWithTag(windowstyle.childNodes, "borderset"): + bsName = str(borderset.getAttribute("name")) + for pixmap in elementsWithTag(borderset.childNodes, "pixmap"): + bpName = str(pixmap.getAttribute("pos")) + filename = str(pixmap.getAttribute("filename")) + + style.setPixmap(eWindowStyleSkinned.__dict__[bsName], eWindowStyleSkinned.__dict__[bpName], getPNG(filename)) + + for color in elementsWithTag(windowstyle.childNodes, "color"): + type = str(color.getAttribute("name")) + color = parseColor(color.getAttribute("color")) + + try: + style.setColor(eWindowStyleSkinned.__dict__["col" + type], color) + except: + raise ("Unknown color %s" % (type)) + + x = eWindowStyleManagerPtr() + eWindowStyleManager.getInstance(x) + x.setStyle(style) + +def applyGUIskin(screen, skin, name, desktop): myscreen = None # first, find the corresponding screen element - skin = dom.getElementsByTagName("skin")[0] - screens = skin.getElementsByTagName("screen") - del skin - for x in screens: + skin = dom.childNodes[0] + + for x in elementsWithTag(skin.childNodes, "screen"): if x.getAttribute('name') == name: myscreen = x + del skin - assert myscreen != None, "no skin for screen " + name + " found!" + assert myscreen != None, "no skin for screen '" + name + "' found!" - print "ok, found screen.." + applyAttributes(screen.instance, myscreen, desktop) # now walk all widgets - for widget in myscreen.getElementsByTagName("widget"): - name = widget.getAttribute('name') - if name == None: + for widget in elementsWithTag(myscreen.childNodes, "widget"): + wname = widget.getAttribute('name') + if wname == None: print "widget has no name!" continue # get corresponding gui object - guiObject = screen.data[name]["instance"] - applyAttributes(guiObject, widget) + try: + guiObject = screen[wname].instance + except: + raise str("component with name '" + wname + "' was not found in skin of screen '" + name + "'!") + + applyAttributes(guiObject, widget, desktop) + + # now walk additional objects + for widget in elementsWithTag(myscreen.childNodes, lambda x: x != "widget"): + if widget.tagName == "eLabel": + guiObject = eLabel(screen.instance) + elif widget.tagName == "ePixmap": + guiObject = ePixmap(screen.instance) + else: + raise str("unsupported stuff : %s" % widget.tagName) + + applyAttributes(guiObject, widget, desktop ) + guiObject.thisown = 0