Pyqt4:Uso de números marcadores em Qscintilla

Question

Quero saber por que o número do marcador é usado e como de 1 a 31 números de marcadores são diferentes entre si.E como adicionar um símbolo de marcador personalizado, como gradiente, mapa Pix ou uma imagem, etc., por exemplo, esses pontos azuis brilhantes na imagem fornecida.: -

marcador é definido no seguinte código: -

 CIRCLE_MARKER_NUM = 0
......
def __init__(self, parent=None):
   super(SimplePythonEditor, self).__init__(parent)
   self.markerDefine(QsciScintilla.Circle,self.CIRCLE_MARKER_NUM)
   self.setMarkerBackgroundColor(QColor(66, 66, 255),self.CIRCLE_MARKER_NUM)
   ......

def on_margin_clicked(self, nmargin, nline, modifiers):
    # Toggle marker for the line the margin was clicked on
    if self.markersAtLine(nline) != 0:
        self.markerDelete(nline, self.CIRCLE_MARKER_NUM)
    else:
        self.markerAdd(nline, self.CIRCLE_MARKER_NUM)

Answer 1

A resposta à pergunta "por que o número do marcador é usado" é simplesmente:por que não?Algum tipo de identificador deve ser usado, e um número parece uma escolha perfeitamente razoável.

Os únicos marcadores que têm um significado predefinido são os números 25 a 31, que são usados ​​para os símbolos de margem dobrada.Os números de 0 a 24 não têm significado predefinido, então você pode usá-los da maneira que desejar.E de fato, se você não usa dobradura, você pode usar todos os 32 marcadores da maneira que quiser.

Você pode definir facilmente um pixmap, imagem ou até mesmo um caractere de texto como símbolo a ser usado para um marcador.Basta fazer algo como:

    pixmap = QtGui.QPixmap('image.png')
    self.markerDefine(pixmap, self.CIRCLE_MARKER_NUM)

E as outras variantes funcionam de maneira semelhante.

PS:

Você poderia facilmente ter respondido todos os pontos (e mais) da sua pergunta consultando a excelente documentação disponível:

• Documentação do Scintilla
• Documentação QScintilla

Answer 2

Você pode encontrar uma explicação muito boa sobre marcadores neste site:

https://qscintilla.com/symbol-margin/

Aqui estão algumas capturas de tela: