small extensions

diff --git a/lib/python/Components/ScrollLabel.py b/lib/python/Components/ScrollLabel.py
index 62f64b1d1a785fde1d096abe6e1c489d6a60b806..85e176f635272ed9f6dcaf1163a9d38f18a7391b 100644 (file)
--- a/lib/python/Components/ScrollLabel.py
+++ b/lib/python/Components/ScrollLabel.py
@@ -50,6 +50,30 @@ class ScrollLabel(HTMLComponent, GUIComponent):
                                self.total = None
                                self.pages = None
 
+       def appendText(self, text):
+               old_text = self.getText()
+               if len(str(old_text)) >0:
+                       self.message += text
+               else:
+                       self.message = text
+               if self.long_text is not None:
+                       self.long_text.setText(self.message)
+                       text_height=self.long_text.calculateSize().height()
+                       total=self.pageHeight
+                       pages=1
+                       while total < text_height:
+                               total=total+self.pageHeight
+                               pages=pages+1
+                       if pages > 1:
+                               self.scrollbar.show()
+                               self.total = total
+                               self.pages = pages
+                               self.updateScrollbar()
+                       else:
+                               self.scrollbar.hide()
+                               self.total = None
+                               self.pages = None
+
        def updateScrollbar(self):
                start = -self.long_text.position().y() * 100 / self.total
                vis = self.pageHeight * 100 / self.total;
@@ -82,5 +106,12 @@ class ScrollLabel(HTMLComponent, GUIComponent):
                                self.long_text.move( ePoint( curPos.x(), curPos.y() - self.pageHeight ) )
                                self.updateScrollbar()
 
+       def lastPage(self):
+               i=1
+               while i < self.pages:
+                       self.pageDown()
+                       i += 1 
+                       self.updateScrollbar()
+
        def produceHTML(self):
                return self.getText()