Changeset 988:0ba32f747163 for misc

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).

(No files)