[FIX #307] hopefully this makes the gui look nicer again.

src/gui/qt4/WQtNavGLWidget.cpp

@@ -54,7 +54,7 @@ WQtNavGLWidget::WQtNavGLWidget( QString title, QWidget* parent, std::string slid
     m_glWidget->setFixedSize( 150, 150 );
     m_glWidget->initialize();
 
-    setMinimumSize( 160, 230 );
+    setMinimumSize( 160, 240 );
     setSizePolicy( QSizePolicy::Preferred, QSizePolicy::Maximum );
 
     m_scene = new WGEScene();

src/gui/qt4/datasetbrowser/WPropertyDoubleWidget.cpp

@@ -41,7 +41,7 @@ WPropertyDoubleWidget::WPropertyDoubleWidget( WPropDouble property, QGridLayout*
     m_layout( &m_parameterWidgets )
 {
     // initialize members
-    m_edit.resize( m_edit.minimumSizeHint().width() , m_edit.size().height() );
+    m_edit.resize( m_edit.minimumSizeHint().width() *.8 , m_edit.size().height() );
     m_edit.setMaximumWidth( m_edit.minimumSizeHint().width() );
 
     // layout both against each other
@@ -128,8 +128,8 @@ void WPropertyDoubleWidget::update()
     // resize the text widget
     //m_edit.setMaxLength( length );
     m_edit.setMaximumWidth( m_edit.minimumSizeHint().width() * length / 2 );
-    m_edit.setMinimumWidth( m_edit.minimumSizeHint().width() * length / 2 );
-    m_edit.resize( m_edit.minimumSizeHint().width() * length / 2, m_edit.size().height() );
+//     m_edit.setMinimumWidth( m_edit.minimumSizeHint().width() * length / 4 );
+//     m_edit.resize( m_edit.minimumSizeHint().width() * length / 2, m_edit.size().height() );
 
     // set the initial values
     m_edit.setText( QString( toString( m_doubleProperty->get() ).c_str() ) );

src/gui/qt4/datasetbrowser/WPropertyIntWidget.cpp

@@ -42,7 +42,7 @@ WPropertyIntWidget::WPropertyIntWidget( WPropInt property, QGridLayout* property
     m_layout( &m_parameterWidgets )
 {
     // initialize members
-    m_edit.resize( m_edit.minimumSizeHint().width() , m_edit.size().height() );
+    m_edit.resize( m_edit.minimumSizeHint().width(), m_edit.size().height() );
     m_edit.setMaximumWidth( m_edit.minimumSizeHint().width() );
 
     // layout both against each other
@@ -112,10 +112,11 @@ void WPropertyIntWidget::update()
     int length = 6; // use fixed length to have a uniform look among several widgets
 
     // resize the text widget
-    m_edit.setMaxLength( length );
+//     m_edit.setMaxLength( length );
     m_edit.setMaximumWidth( m_edit.minimumSizeHint().width() * length / 2 );
-    m_edit.setMinimumWidth( m_edit.minimumSizeHint().width() * length / 2 );
-    m_edit.resize( m_edit.minimumSizeHint().width() * length / 2, m_edit.size().height() );
+//     m_edit.setMinimumWidth( m_edit.minimumSizeHint().width() * length / 4 );
+//     m_edit.resize( m_edit.minimumSizeHint().width() * length / 4, m_edit.size().height() );
+
 
     // set the initial values
     m_edit.setText( QString( boost::lexical_cast< std::string >( m_intProperty->get() ).c_str() ) );