Changeset 988:0ba32f747163

Timestamp:

06/27/19 17:32:42 (5 years ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

The fault display in the explanation widget is of the correct size initially as well (re #347).

File:

• src/mlx/gui/faultexplain.py (modified) (3 diffs)

src/mlx/gui/faultexplain.py

@@ -32 +32 @@
         vbox = gtk.VBox()
 
-        self._fault = fault = gtk.TextView()
-        fault.set_editable(False)
-        fault.set_can_focus(False)
-        fault.set_wrap_mode(WRAP_WORD)
-
-        buffer = fault.get_buffer()
-        self._faultTag  = buffer.create_tag("fault", weight=WEIGHT_BOLD)
+        self._fault = fault = gtk.Label()
+        fault.set_xalign(0.0)
+        fault.set_justify(JUSTIFY_LEFT)
+        fault.set_line_wrap(True)
 
         self.faultText = faultText
@@ -81 +78 @@
         """Update the text of the fault."""
         self._faultText = faultText
-
-        buffer = self._fault.get_buffer()
-        buffer.set_text(faultText)
-        buffer.apply_tag(self._faultTag,
-                         buffer.get_start_iter(), buffer.get_end_iter())
+        self._fault.set_markup("<b>" + faultText + "</b>")
 
     @property
@@ -169 +162 @@
         self._faults = gtk.VBox()
         self._faults.set_homogeneous(False)
-        scroller.add_with_viewport(self._faults)
+        scroller.add(self._faults)
 
         alignment.add(scroller)