def sizeHint(self): s = QSize() s.setHeight(super(ListWidget, self).sizeHint().height()) # hint to max text length # width from scrollbar is too big? just use half of it. s.setWidth(self.sizeHintForColumn(0) + self.verticalScrollBar().width() / 2) return s
class MarkersPanel(Panel): """ Panel used to draw a collection of marker. A marker is 16x16 icon placed at a specific line number. A marker is added/removed when the user click on the the widget or manually (using addMarker). Actually if there is no marker where the user clicked, the markerAddRequested signal is emitted as we don't known what kind of marker we must add. When a marker is removed by the user, the markerRemoved signal is emitted. .. note:: The markers position is updated whenever a line is added/removed. .. note:: The markers list is cleared when a new text is set on the text edit (see QCodeEdit.newTextSet signal) .. note:: If a marker goes out of documents (line number <= 0) the markerOutOfDoc is emitted. """ #: Stylesheet # QSS = """QToolTip { # background-color: %(back)s; # color: %(color)s; # border: 1px solid %(color)s; # padding: 2px; # opacity: 220; # } # """ #: Signal emitted with the line number where the marker must be added addMarkerRequested = Signal(Panel, int) #: Signal emitted when a marker is removed by the user. markerRemoved = Signal(Panel, Marker) #: Signal emitted when a marker is out of the document. This usually # happen when the user delete lines from the beginning of the doc. markerOutOfDoc = Signal(Panel, Marker) #: Signal emitted before clearing the markers when a new text is set to give # a chance to the user to save the markers list. clearingMarkers = Signal(Panel) 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 addMarker(self, marker): """ Adds a marker to be displayed """ self.markers.append(marker) self.update() def removeMarker(self, marker): """ Removes a marker """ self.markers.remove(marker) self.update() def clearMarkers(self): """ Clears the markers list """ self.clearingMarkers.emit(self) self.markers[:] = [] self.update() def install(self, editor): Panel.install(self, editor) self.bc = self.editor.codeEdit.blockCount() self.__updateCursorPos() def _onStateChanged(self, state): Panel._onStateChanged(self, state) if state is True: self.editor.codeEdit.visibleBlocksChanged.connect(self.update) self.editor.codeEdit.blockCountChanged.connect(self.__onBlockCountChanged) self.editor.codeEdit.newTextSet.connect(self.__onNewTextSet) self.editor.codeEdit.keyPressed.connect(self.__updateCursorPos) else: self.editor.codeEdit.visibleBlocksChanged.disconnect(self.update) self.editor.codeEdit.blockCountChanged.disconnect(self.__onBlockCountChanged) self.editor.codeEdit.newTextSet.disconnect(self.__onNewTextSet) self.editor.codeEdit.keyPressed.disconnect(self.__updateCursorPos) def _onStyleChanged(self): """ Updates stylesheet and brushes. """ fm = QFontMetricsF(self.editor.codeEdit.font()) self.size_hint = QSize(fm.height(), fm.height()) style = self.currentStyle self.back_brush = QBrush(QColor(style.panelsBackgroundColor)) self.active_line_brush = QBrush(QColor(style.activeLineColor)) self.separator_pen = QPen(QColor(style.panelSeparatorColor)) # qss = self.QSS % {"back": style.activeLineColor, # "color": style.tokenColor(Text)} # self.setStyleSheet(qss) self.updateGeometry() def sizeHint(self): """ Returns the widget size hint (based on the editor font size) """ fm = QFontMetricsF(self.editor.codeEdit.font()) self.size_hint = QSize(fm.height(), fm.height()) if self.size_hint.width() > 16: self.size_hint.setWidth(16) return self.size_hint def __onNewTextSet(self): """ Clears markers when a new text is set """ self.clearMarkers() def __getMarkerForLine(self, l): """ Returns the marker for the line l if any, else return None """ for m in self.markers: if m.position == l: return m return None def __updateCursorPos(self): """ Updates cursor pos variables """ self.tcPos = self.editor.codeEdit.textCursor().blockNumber() + 1 self.tcPosInBlock = self.editor.codeEdit.textCursor().positionInBlock() def __onBlockCountChanged(self, num): """ Handles lines added/removed events """ # a l has beeen inserted or removed tcPos = self.editor.codeEdit.textCursor().blockNumber() + 1 tcPosInBlock = self.editor.codeEdit.textCursor().positionInBlock() bc = self.bc if bc < num: self.onLinesAdded(num - bc, tcPos, tcPosInBlock) else: self.onLinesRemoved(bc - num, tcPos, tcPosInBlock) self.tcPosInBlock = self.tcPosInBlock self.bc = num def onLinesAdded(self, nbLines, tcPos, tcPosInBlock): """ Offsets markers positions with the number of line added """ if self.tcPosInBlock > 0: self.tcPos += 1 # offset each l after the tcPos by nbLines for marker in self.markers: if marker.position >= self.tcPos: marker.position += nbLines self.tcPos = tcPos self.tcPosInBlock = tcPosInBlock self.update() def onLinesRemoved(self, nbLines, tcPos, tcPosInBlock): """ Offsets markers positions with the number of line removed """ for marker in self.markers: if marker.position >= self.tcPos: marker.position -= nbLines if marker.position < 1: self.markerOutOfDoc.emit(self, marker) self.tcPos = tcPos self.tcPosInBlock = tcPosInBlock self.update() def paintEvent(self, event): """ Paints the widget """ if self.enabled is False: return Panel.paintEvent(self, event) painter = QPainter(self) painter.fillRect(event.rect(), self.back_brush) for vb in self.editor.codeEdit.visible_blocks: l = vb.row marker = self.__getMarkerForLine(l) if marker: if marker.icon is not None: r = QRect() r.setX(vb.rect.x()) r.setY(vb.rect.y()) r.setWidth(self.size_hint.width()) r.setHeight(self.size_hint.height()) marker.icon.paint(painter, r) return def leaveEvent(self, event): """ Resets prev line to -1 when we leave otherwise the tooltip won't be shown next time we hover the marker """ if self.enabled is False: return self._prev_line = -1 def mouseMoveEvent(self, event): """ Shows a tooltip """ if self.enabled is False: return pos = event.pos() y = pos.y() for vb in self.editor.codeEdit.visible_blocks: top = vb.top height = vb.height if top < y < top + height: marker = self.__getMarkerForLine(vb.row) if (marker is not None and marker.tooltip is not None and marker.tooltip != ""): if self._prev_line != vb.row: self.timer.stop() self._tooltip = marker.tooltip centerX = self.size_hint.width() centerY = vb.rect.y() self._tooltipPos = QPoint(centerX, centerY) self._prev_line = vb.row self.timer.singleShot(1500, self.displayTooltip) return def mouseReleaseEvent(self, event): """ Adds/Remove markers on click """ if self.enabled is False: return if self.markersReadOnly is True: return pos = event.pos() y = pos.y() for vb in self.editor.codeEdit.visible_blocks: top = vb.top height = vb.height if top < y < top + height: marker = self.__getMarkerForLine(vb.row) if marker is not None: self.removeMarker(marker) self.markerRemoved.emit(self, marker) self.logger.debug("Marker removed") else: self.logger.debug("Marker add requested (l: %d)" % vb.row) self.addMarkerRequested.emit(self, vb.row) def displayTooltip(self): """ Display the tooltip """ QToolTip.showText(self.mapToGlobal(self._tooltipPos), self._tooltip, self)
def sizeHint(self): size = QSize() size.setHeight(QListWidget.sizeHint(self).height()) size.setWidth(self.sizeHintForColumn(0)) return size