def __init__(self, parent=None):
Panel.__init__(
self, self.IDENTIFIER, self.DESCRIPTION, parent)
self.fold_indicators = []
self.setMouseTracking(True)
self.logger = logging.getLogger(
__name__ + "." + self.__class__.__name__)
def __init__(self, name, markersReadOnly=False, parent=None):
Panel.__init__(
self, name, "Display markers foreach line", parent)
self.markers = []
#: prevent user from adding/removing markers with mouse click
self.markersReadOnly = markersReadOnly
self.setMouseTracking(True)
self.timer = QTimer()
self._tooltipPos = -1
self._prev_line = -1
self.logger = logging.getLogger(
__name__ + "." + self.__class__.__name__)
def __init__(self, parent=None):
Panel.__init__(self, "Search and replace", "The search and replace Panel", parent)
self.ui = search_panel_ui.Ui_SearchPanel()
self.ui.setupUi(self)
self._decorations = []
self._numOccurrences = 0
self._processing = False
self.numOccurrencesChanged.connect(self.__updateUi)
self.ui.actionFindNext.triggered.connect(self.findNext)
self.ui.actionFindPrevious.triggered.connect(self.findPrevious)
self.ui.actionSearch.triggered.connect(self.showSearchPanel)
self.ui.actionActionSearchAndReplace.triggered.connect(self.showSearchAndReplacePanel)
self.hide()
self.logger = logging.getLogger(__name__ + "." + self.__class__.__name__)
def __init__(self, parent=None):
Panel.__init__(
self, self.IDENTIFIER, "Display text line numbers", parent)
