40 |
object = event.object |
object = event.object |
41 |
|
|
42 |
newWidget = gtk.Frame() |
newWidget = gtk.Frame() |
43 |
newWidget.set_size_request(self.itemWidth - (1 * event.widgetWidth), |
newWidget.set_size_request(int(self.itemWidth - (1 * event.widgetWidth)), |
44 |
self.itemHeight - (0.5 * event.widgetHeight)) |
int(self.itemHeight - (0.5 * event.widgetHeight))) |
45 |
|
|
46 |
newWidget.set_label(str(object.label)) |
newWidget.set_label(str(object.label)) |
47 |
newWidget.get_label_widget().modify_font(self._uiDriver.mono_font) |
newWidget.get_label_widget().modify_font(self._uiDriver.mono_font) |
48 |
|
|
49 |
event.container.put(newWidget, (object.Char__x+0.5) * event.widgetWidth, |
event.container.put(newWidget, |
50 |
(object.Char__y + spacer + 0.5) * event.widgetHeight) |
int((object.Char__x+0.5) * event.widgetWidth), |
51 |
|
int((object.Char__y + spacer + 0.5) * event.widgetHeight)) |
52 |
return newWidget |
return newWidget |
53 |
|
|
54 |
# |
# |