def __init__(self,parent=None):
super(AdjustableTextEditWithFold,self).__init__(parent)
self.is_fold=True
self.fold_above_nl=2
self.fold_button=QtWidgets.QToolButton()
self.fold_button.setArrowType(Qt.DownArrow)
font_height=self.fontMetrics().height()
self.fold_button.setFixedWidth(int(font_height))
self.fold_button.setFixedHeight(int(font_height))
self.fold_button.clicked.connect(self.toggleFold)
self.fold_button.setStyleSheet('''
QToolButton {
border: 1px solid rgb(190,190,190);
background-color: rgb(190,190,190);
border-radius: %dpx;
color: white;
}
QToolButton:pressed {
border-style: inset;
}
''' %(int(font_height/2))
)