Index: src/libgui/config_gen.cpp
===================================================================
--- src/libgui/config_gen.cpp	(révision 2960)
+++ src/libgui/config_gen.cpp	(révision 2961)
@@ -53,6 +53,7 @@
   _text = new SimpleTextEditor(false, mainWidget());
   _text->setReadOnly(true);
   top->addWidget(_text);
+  top->setStretchFactor(_text, 10);
 
   _warning = new QLabel(mainWidget());
   top->addWidget(_warning);
Index: src/libgui/text_editor.cpp
===================================================================
--- src/libgui/text_editor.cpp	(révision 2960)
+++ src/libgui/text_editor.cpp	(révision 2961)
@@ -56,6 +56,9 @@
 
 void TextEditor::init(bool withDebugger)
 {
+  QFontMetrics fm(font());
+  setMinimumHeight(5*fm.height());
+
   KPluginLoader loader("katepart");
   KPluginFactory *factory = loader.factory();
   if (factory == NULL) qFatal("Could not find katepart: Install Kate.");