diff -r da975a75af09 -r 033971bbe639 QTfrontend/pages.h
--- a/QTfrontend/pages.h	Sun Jan 20 14:40:36 2008 +0000
+++ b/QTfrontend/pages.h	Sun Jan 20 14:44:01 2008 +0000
@@ -59,26 +59,26 @@
   }
   virtual ~AbstractPage() {};
 
-  QPushButton* addButton(const char* btname, QGridLayout* grid, int wy, int wx) {
+  QPushButton* addButton(QString btname, QGridLayout* grid, int wy, int wx) {
     QPushButton* butt = new QPushButton(this);
     butt->setFont(*font14);
-    butt->setText(QPushButton::tr(btname));
+    butt->setText(btname);
     grid->addWidget(butt, wy, wx);
     return butt;
   };
 
-  QPushButton* addButton(const char* btname, QGridLayout* grid, int wy, int wx, int rowSpan, int columnSpan) {
+  QPushButton* addButton(QString btname, QGridLayout* grid, int wy, int wx, int rowSpan, int columnSpan) {
     QPushButton* butt = new QPushButton(this);
     butt->setFont(*font14);
-    butt->setText(QPushButton::tr(btname));
+    butt->setText(btname);
     grid->addWidget(butt, wy, wx, rowSpan, columnSpan);
     return butt;
   };
 
-  QPushButton* addButton(const char* btname, QBoxLayout* box, int where) {
+  QPushButton* addButton(QString btname, QBoxLayout* box, int where) {
     QPushButton* butt = new QPushButton(this);
     butt->setFont(*font14);
-    butt->setText(QPushButton::tr(btname));
+    butt->setText(btname);
     box->addWidget(butt, where);
     return butt;
   };