new widget: QRTextEdit

2014-06-14 12:17:44 +02:00
parent f5a76f7dcf
commit d2cad7bbbb
9 changed files with 125 additions and 54 deletions
--- a/gui/qt/util.py
+++ b/gui/qt/util.py
@@ -98,6 +98,7 @@ def ok_cancel_buttons(dialog, ok_label=_("OK") ):
    return hbox

 def text_dialog(parent, title, label, ok_label, default=None):
+    from qrtextedit import QRTextEdit
    dialog = QDialog(parent)
    dialog.setMinimumWidth(500)
    dialog.setWindowTitle(title)
@@ -105,7 +106,7 @@ def text_dialog(parent, title, label, ok_label, default=None):
    l = QVBoxLayout()
    dialog.setLayout(l)
    l.addWidget(QLabel(label))
-    txt = QTextEdit()
+    txt = QRTextEdit()
    if default:
        txt.setText(default)
    l.addWidget(txt)