1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
# -*- coding: utf-8 -*-
"""
This module contains the right margin mode.
"""
from pyqode.core.api import TextHelper
from pyqode.core.api import Mode
from pyqode.qt import QtGui
class RightMarginMode(Mode):
""" Displays a right margin at column the specified position.
"""
@property
def color(self):
"""
Gets/sets the color of the margin
"""
return self._color
@color.setter
def color(self, value):
self._color = value
self._pen = QtGui.QPen(self._color)
TextHelper(self.editor).mark_whole_doc_dirty()
self.editor.repaint()
if self.editor:
for clone in self.editor.clones:
try:
clone.modes.get(self.__class__).color = value
except KeyError:
# this should never happen since we're working with clones
pass
@property
def position(self):
"""
Gets/sets the position of the margin
"""
return self._margin_pos
@position.setter
def position(self, value):
self._margin_pos = value
if self.editor:
for clone in self.editor.clones:
try:
clone.modes.get(self.__class__).position = value
except KeyError:
# this should never happen since we're working with clones
pass
def __init__(self):
Mode.__init__(self)
self._margin_pos = 79
self._color = QtGui.QColor('red')
self._pen = QtGui.QPen(self._color)
def on_state_changed(self, state):
"""
Connects/Disconnects to the painted event of the editor
:param state: Enable state
"""
if state:
self.editor.painted.connect(self._paint_margin)
self.editor.repaint()
else:
self.editor.painted.disconnect(self._paint_margin)
self.editor.repaint()
def _paint_margin(self, event):
""" Paints the right margin after editor paint event. """
font = QtGui.QFont(self.editor.font_name, self.editor.font_size +
self.editor.zoom_level)
metrics = QtGui.QFontMetricsF(font)
pos = self._margin_pos
offset = self.editor.contentOffset().x() + \
self.editor.document().documentMargin()
x80 = round(metrics.width(' ') * pos) + offset
painter = QtGui.QPainter(self.editor.viewport())
painter.setPen(self._pen)
painter.drawLine(x80, 0, x80, 2 ** 16)
def clone_settings(self, original):
self.color = original.color
self.position = original.position
|
