From dc56a16a853b0ae806842677a5a4db6f8a57eb90 Mon Sep 17 00:00:00 2001 From: Yann Leboulanger Date: Sun, 14 Apr 2013 08:49:10 +0200 Subject: [PATCH] make FakeDataform instructino label selectable. Fixes #7331 --- src/config.py | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/config.py b/src/config.py index 91c94feb6..1732558ed 100644 --- a/src/config.py +++ b/src/config.py @@ -2673,9 +2673,10 @@ class FakeDataForm(gtk.Table, object): table {entry1: value1} """ - def __init__(self, infos): + def __init__(self, infos, selectable=False): gtk.Table.__init__(self) self.infos = infos + self.selectable = selectable self.entries = {} self._draw_table() @@ -2688,6 +2689,8 @@ class FakeDataForm(gtk.Table, object): nbrow = 1 self.resize(rows = nbrow, columns = 2) label = gtk.Label(self.infos['instructions']) + if self.selectable: + label.set_selectable(True) self.attach(label, 0, 2, 0, 1, 0, 0, 0, 0) for name in self.infos.keys(): if name in ('key', 'instructions', 'x', 'registered'): @@ -3797,10 +3800,12 @@ class AccountCreationWizardWindow: empty_config = True if obj.is_form: dataform = dataforms.ExtendForm(node=obj.config) - self.data_form_widget = dataforms_widget.DataFormWidget(dataform) + self.data_form_widget = dataforms_widget.DataFormWidget() + self.data_form_widget.selectable = True + self.data_form_widget.set_data_form(dataform) empty_config = False else: - self.data_form_widget = FakeDataForm(obj.config) + self.data_form_widget = FakeDataForm(obj.config, selectable=True) for field in obj.config: if field in ('key', 'instructions', 'x', 'registered'): continue