comparison frontends/src/wix/xmlui.py @ 804:5174657b3378

XMLUI (core, frontends): added JidWidget and DividerWidget + popup type + some bugfixes: - JidWidget is a text container a Jabber ID, this can be used by frontends for special treatment (e.g.: possibility to click on it) - DividerWidget is a separator, like a blank or dashed line - popup type is similar to normal window, but designed for a smaller popping window
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 18:19:32 +0100
parents f100fd8d279f
children 7c05c39156a2
comparison
equal deleted inserted replaced
803:f100fd8d279f 804:5174657b3378
53 53
54 class TextWidget(WixWidget, xmlui.TextWidget, wx.StaticText): 54 class TextWidget(WixWidget, xmlui.TextWidget, wx.StaticText):
55 55
56 def __init__(self, parent, value): 56 def __init__(self, parent, value):
57 wx.StaticText.__init__(self, parent, -1, value) 57 wx.StaticText.__init__(self, parent, -1, value)
58
59
60 class LabelWidget(xmlui.LabelWidget, TextWidget):
61
62 def __init__(self, parent, value):
63 super(LabelWidget, self).__init__(parent, value+": ")
64
65
66 class JidWidget(xmlui.JidWidget, TextWidget):
67 pass
68
69
70 class DividerWidget(WixWidget, xmlui.DividerWidget, wx.StaticLine):
71
72 def __init__(self, parent, style='line'):
73 wx.StaticLine.__init__(self, parent, -1)
58 74
59 75
60 class StringWidget(EventWidget, ValueWidget, xmlui.StringWidget, wx.TextCtrl): 76 class StringWidget(EventWidget, ValueWidget, xmlui.StringWidget, wx.TextCtrl):
61 _xmlui_change_event = wx.EVT_TEXT 77 _xmlui_change_event = wx.EVT_TEXT
62 78