Diff: terminal.h

Revision:

1:65f72ed914fa

Parent:

0:ae5037e3d6e0

Child:

2:5ac5bab7daaf

--- a/terminal.h	Mon Nov 15 22:37:30 2010 +0000
+++ b/terminal.h	Tue Nov 16 20:49:18 2010 +0000
@@ -41,12 +41,12 @@
          * works like the normal writeText method, 
          * but also stores the written text into the internal buffer (which makes it subject to scrolling)
         */
-        virtual void writeText(unsigned int line, unsigned int pos, char text[]);
+        virtual void writeText(const unsigned int line, const unsigned int pos, const char text[]);
         /**
          * write the given text into the last line (at the first position)
          * @param text the text to write
         */
-        virtual void addText(char text[]);
+        virtual void addText(const char text[]);
         virtual int getHeight(){return _height;};
         virtual int getWidth(){return _width;};
         virtual void clear();