2 from HTMLComponent import *
3 from GUIComponent import *
4 from enigma import eLabel, eWidget, eSlider, fontRenderClass, ePoint, eSize
6 class ScrollLabel(HTMLComponent, GUIComponent):
7 def __init__(self, text=""):
15 def applySkin(self, desktop):
16 skin.applyAllAttributes(self.long_text, desktop, self.skinAttributes)
17 s = self.long_text.size()
18 self.instance.move(self.long_text.position())
19 self.scrollbar.move(ePoint(s.width()-20,0))
20 self.scrollbar.resize(eSize(20,s.height()))
21 self.scrollbar.setOrientation(eSlider.orVertical);
22 self.scrollbar.setRange(0,100)
23 lineheight=fontRenderClass.getInstance().getLineHeight( self.long_text.getFont() )
24 lines = (int)(s.height() / lineheight)
25 self.pageHeight = (int)(lines * lineheight)
26 self.instance.resize(eSize(s.width(), self.pageHeight+(int)(lineheight/6)))
27 self.long_text.move(ePoint(0,0))
28 self.long_text.resize(eSize(s.width()-30, self.pageHeight*16))
29 self.setText(self.message)
31 def setText(self, text):
33 if self.long_text is not None:
34 self.long_text.move(ePoint(0,0))
35 self.long_text.setText(self.message)
36 text_height=self.long_text.calculateSize().height()
39 while total < text_height:
40 total=total+self.pageHeight
46 self.updateScrollbar()
52 def updateScrollbar(self):
53 start = -self.long_text.position().y() * 100 / self.total
54 vis = self.pageHeight * 100 / self.total;
55 self.scrollbar.setStartEnd(start, start+vis)
60 def GUIcreate(self, parent):
61 self.instance = eWidget(parent)
62 self.scrollbar = eSlider(self.instance)
63 self.long_text = eLabel(self.instance)
71 if self.total is not None:
72 curPos = self.long_text.position()
74 self.long_text.move( ePoint( curPos.x(), curPos.y() + self.pageHeight ) )
75 self.updateScrollbar()
78 if self.total is not None:
79 curPos = self.long_text.position()
80 if self.total-self.pageHeight >= abs( curPos.y() - self.pageHeight ):
81 self.long_text.move( ePoint( curPos.x(), curPos.y() - self.pageHeight ) )
82 self.updateScrollbar()
84 def produceHTML(self):