DecoderSelector: Make PD info text selectable.

This allows for e.g. highlighting and copy-pasting.

diff --git a/pv/subwindows/decoder_selector/subwindow.cpp b/pv/subwindows/decoder_selector/subwindow.cpp
index 6302e44976fcfad031452d48ef4bc0df2842c691..a201791fd84886f52b4a1159309e6c1e66aea904 100644 (file)
--- a/pv/subwindows/decoder_selector/subwindow.cpp
+++ b/pv/subwindows/decoder_selector/subwindow.cpp
@@ -110,10 +110,14 @@ SubWindow::SubWindow(Session& session, QWidget* parent) :
        info_box_layout->addWidget(info_label_header_);
        info_box_layout->addWidget(info_label_body_);
        info_box_layout->addWidget(info_label_footer_);
+       Qt::TextInteractionFlags flags = Qt::TextSelectableByMouse | Qt::TextSelectableByKeyboard;
        info_label_header_->setWordWrap(true);
+       info_label_header_->setTextInteractionFlags(flags);
        info_label_body_->setWordWrap(true);
+       info_label_body_->setTextInteractionFlags(flags);
        info_label_body_->setText(tr("Select a decoder to see its description here."));
        info_label_footer_->setWordWrap(true);
+       info_label_footer_->setTextInteractionFlags(flags);
 
        connect(filter, SIGNAL(textChanged(const QString&)),
                this, SLOT(on_filter_changed(const QString&)));