diff -r ec8391680132 -r e72f3398a28b QTfrontend/ui/widget/themeprompt.cpp
--- a/QTfrontend/ui/widget/themeprompt.cpp	Sun Feb 10 01:54:24 2013 +0400
+++ b/QTfrontend/ui/widget/themeprompt.cpp	Sat Feb 09 18:32:51 2013 -0500
@@ -28,7 +28,6 @@
 #include <QLineEdit>
 #include <QLabel>
 #include <QSortFilterProxyModel>
-#include <QFontMetrics>
 #include <QDebug>
 
 #include "DataManager.h"
@@ -61,7 +60,7 @@
     QHBoxLayout * topLayout = new QHBoxLayout();
 
     // Help/prompt message at top
-    QLabel * lblDesc = new QLabel(tr("Select a theme"));
+    QLabel * lblDesc = new QLabel(tr("Search for a theme:"));
     lblDesc->setObjectName("lblDesc");
     lblDesc->setStyleSheet("#lblDesc { color: #130F2A; background: #F6CB1C; border: solid 4px #F6CB1C; border-top-left-radius: 10px; padding: 4px 10px;}");
     lblDesc->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Fixed);
@@ -73,24 +72,18 @@
     filterContainer->setFixedHeight(24);
     filterContainer->setObjectName("filterContainer");
     filterContainer->setStyleSheet("#filterContainer { background: #F6CB1C; border-top-right-radius: 10px; padding: 3px; }");
-    filterContainer->setFixedWidth(250);
+    filterContainer->setFixedWidth(150);
     txtFilter = new LineEditCursor(filterContainer);
-    txtFilter->setFixedWidth(250);
+    txtFilter->setFixedWidth(150);
     txtFilter->setFocus();
     txtFilter->setFixedHeight(22);
+    txtFilter->setStyleSheet("LineEditCursor { border-width: 0px; border-radius: 6px; margin-top: 3px; margin-right: 3px; padding-left: 4px; padding-bottom: 2px; background-color: rgb(23, 11, 54); } LineEditCursor:hover, LineEditCursor:focus { background-color: rgb(13, 5, 68); }");
     connect(txtFilter, SIGNAL(textChanged(const QString &)), this, SLOT(filterChanged(const QString &)));
     connect(txtFilter, SIGNAL(moveUp()), this, SLOT(moveUp()));
     connect(txtFilter, SIGNAL(moveDown()), this, SLOT(moveDown()));
     connect(txtFilter, SIGNAL(moveLeft()), this, SLOT(moveLeft()));
     connect(txtFilter, SIGNAL(moveRight()), this, SLOT(moveRight()));
 
-    // Filter label
-    QLabel * lblFilter = new QLabel(tr("Filter: "), txtFilter);
-    QFontMetrics lblMetrics(lblFilter->font());
-    int lblFilterWidth = lblMetrics.width(lblFilter->text());
-    lblFilter->setStyleSheet(QString("background: none; margin-left: -%1px; margin-top: 4px;").arg(lblFilterWidth + 5));
-    txtFilter->setStyleSheet(QString("LineEditCursor, QLabel { border-width: 0px; border-radius: 6px; margin-top: 3px; margin-right: 3px; padding-left: %1px; padding-bottom: 2px; background-color: rgb(23, 11, 54); } LineEditCursor:hover, LineEditCursor:focus { background-color: rgb(13, 5, 68); }").arg(lblFilterWidth + 5));
-
     // Corner widget
     QLabel * corner = new QLabel();
     corner->setPixmap(QPixmap(QString::fromUtf8(":/res/inverse-corner-bl.png")));