def __init__(self, fetcher, parent):
QTextEdit.__init__(self, parent)
BaseFragmentView.__init__(self, fetcher)
self.setReadOnly(True)
self.document().setDefaultStyleSheet("""
table {
border-color: #BCBCBC;
border-style: solid;
border-collapse: collapse;
}
table td {
padding-top: 2px;
padding-bottom: 2px;
padding-left: 2px;
padding-right: 10px;
}
table th {
text-align: center;
padding-top: 5px;
padding-bottom: 5px;
}
""")
def __init__(self, fetcher, parent):
QTextEdit.__init__(self, fetcher.fragment.error, parent)
BaseFragmentView.__init__(self, fetcher)
self.setReadOnly(True)
self.setFont(QFont("Times", 20, QFont.Bold))
