|
1
|
|
|
import os |
|
2
|
|
|
import tkinter as tk |
|
3
|
|
|
|
|
4
|
|
|
|
|
5
|
|
|
class TkBlink(): |
|
6
|
|
|
def __init__(self, *args, **kwargs): |
|
7
|
|
|
super().__init__(*args, **kwargs) |
|
8
|
|
|
self._blink_timer_id = None |
|
9
|
|
|
self._blink_status = 'off' |
|
10
|
|
|
self._blink_time = 500 |
|
11
|
|
|
|
|
12
|
|
|
|
|
13
|
|
|
def _do_blink(self): |
|
14
|
|
|
if self._blink_status == 'off': |
|
15
|
|
|
self._blink_status = 'on' |
|
16
|
|
|
self.tag_add('cursorblock', self._blink_pos) |
|
17
|
|
|
self.tag_config('cursorblock', |
|
18
|
|
|
background=self._blink_bg, |
|
19
|
|
|
foreground=self._blink_fg) |
|
20
|
|
|
else: |
|
21
|
|
|
self.tag_delete('cursorblock') |
|
22
|
|
|
self._blink_status = 'off' |
|
23
|
|
|
|
|
24
|
|
|
self._blink_timer_id = self.after(self._blink_time, |
|
25
|
|
|
self._do_blink) |
|
26
|
|
|
|
|
27
|
|
|
|
|
28
|
|
|
def blink_cursor(self, pos, fg, bg): |
|
29
|
|
|
''' |
|
30
|
|
|
alternate the background color of the cursorblock tag |
|
31
|
|
|
self.blink_time = time inbetween blinks |
|
32
|
|
|
recall the function when pos/fg/bg change |
|
33
|
|
|
''' |
|
34
|
|
|
if self._blink_timer_id: |
|
35
|
|
|
self.after_cancel(self._blink_timer_id) |
|
36
|
|
|
self._blink_pos = pos |
|
37
|
|
|
self._blink_bg = bg |
|
38
|
|
|
self._blink_fg = fg |
|
39
|
|
|
self._do_blink() |
|
40
|
|
|
|
|
41
|
|
|
|
|
42
|
|
|
def stop_blink(self): |
|
43
|
|
|
'''remove cursor from screen''' |
|
44
|
|
|
self.after_cancel(self._blink_timer_id) |
|
45
|
|
|
self.tag_delete('cursorblock') |
|
46
|
|
|
self._blink_status = 'off' |
|
47
|
|
|
|
|
48
|
|
|
|
|
49
|
|
|
class Text(TkBlink, tk.Text): |
|
50
|
|
|
def __init__(self, *args, **kwargs): |
|
51
|
|
|
super().__init__(*args, **kwargs) |
|
52
|
|
|
self._added_tags = {} |
|
53
|
|
|
|
|
54
|
|
|
|
|
55
|
|
|
def get_pos(self, row=None, col=None, mark=tk.INSERT): |
|
56
|
|
|
'''returns row and column as an int''' |
|
57
|
|
|
return (int(x) for x in self.index(mark).split('.')) |
|
58
|
|
|
|
|
59
|
|
|
|
|
60
|
|
|
def make_font_size(self, size): |
|
61
|
|
|
if os.name == 'nt': |
|
62
|
|
|
return size |
|
63
|
|
|
else: |
|
64
|
|
|
return size - 2 |
|
65
|
|
|
|
|
66
|
|
|
|
|
67
|
|
|
def highlight_pattern(self, pattern, tag, start="1.0", |
|
68
|
|
|
end="end", regexp=False): |
|
69
|
|
|
'''Apply the given tag to all text that matches the |
|
70
|
|
|
given pattern |
|
71
|
|
|
If 'regexp' is set to True, pattern will be treated as a |
|
72
|
|
|
regular expression according to Tcl's regular |
|
73
|
|
|
expression syntax. |
|
74
|
|
|
''' |
|
75
|
|
|
start = self.index(start) |
|
76
|
|
|
end = self.index(end) |
|
77
|
|
|
self.mark_set("matchStart", start) |
|
78
|
|
|
self.mark_set("matchEnd", start) |
|
79
|
|
|
self.mark_set("searchLimit", end) |
|
80
|
|
|
|
|
81
|
|
|
count = tk.IntVar() |
|
82
|
|
|
while True: |
|
83
|
|
|
index = self.search(pattern, "matchEnd","searchLimit", |
|
84
|
|
|
count=count, regexp=regexp) |
|
85
|
|
|
if index == "": |
|
86
|
|
|
break |
|
87
|
|
|
# degenerate pattern which matches zero-length strings |
|
88
|
|
|
if count.get() == 0: |
|
89
|
|
|
break |
|
90
|
|
|
self.mark_set("matchStart", index) |
|
91
|
|
|
self.mark_set("matchEnd", "%s+%sc" |
|
92
|
|
|
% (index, count.get())) |
|
93
|
|
|
self.tag_add(tag, "matchStart", "matchEnd") |
|
94
|
|
|
|
|
95
|
|
|
|
|
96
|
|
|
def get_endcol(self, row): |
|
97
|
|
|
''' |
|
98
|
|
|
returns the index of the last char, not the newline char |
|
99
|
|
|
''' |
|
100
|
|
|
end_col = int(self.index( |
|
101
|
|
|
str(row)+'.end-1c').split('.')[1]) |
|
102
|
|
|
return end_col |
|
103
|
|
|
|
|
104
|
|
|
|
|
105
|
|
|
def apply_attribute(self, style, start, end): |
|
106
|
|
|
# Ensure the attribute name is associated with a tag |
|
107
|
|
|
# configured with the corresponding attribute format |
|
108
|
|
|
for name, existing_style in self._added_tags.items(): |
|
109
|
|
|
# Style already exists |
|
110
|
|
|
if style == existing_style: |
|
111
|
|
|
break |
|
112
|
|
|
# Create a new |
|
113
|
|
|
else: |
|
114
|
|
|
name = self.make_name(style) |
|
115
|
|
|
self.font_from_style(name, style) |
|
116
|
|
|
self._added_tags[name] = style |
|
117
|
|
|
|
|
118
|
|
|
self.tag_add(name, start, end) |
|
119
|
|
|
|
|
120
|
|
|
|
|
121
|
|
|
def make_name(self, style): |
|
122
|
|
|
versions = [int(name[5:]) for name in \ |
|
123
|
|
|
self._added_tags.keys()] |
|
124
|
|
|
return 'nvim_' + str(self.unique_int(versions)) |
|
125
|
|
|
|
|
126
|
|
|
|
|
127
|
|
|
def font_from_style(self, name, style): |
|
128
|
|
|
'''configure font attributes''' |
|
129
|
|
|
# Get base font options |
|
130
|
|
|
new_font = tk.font.Font(self, self.cget("font")) |
|
131
|
|
|
for key, value in style.items(): |
|
132
|
|
|
if key == 'size': |
|
133
|
|
|
if os.name == 'posix': |
|
134
|
|
|
new_font.configure(size=int(value)-2) |
|
135
|
|
|
else: |
|
136
|
|
|
new_font.configure(size=value) |
|
137
|
|
|
else: |
|
138
|
|
|
try: |
|
139
|
|
|
eval('self.tag_configure(name, %s=value)'\ |
|
140
|
|
|
% key) |
|
141
|
|
|
except tk.TclError: |
|
142
|
|
|
eval('new_font.configure(%s=value)' % key) |
|
143
|
|
|
self.tag_configure(name, font=new_font) |
|
144
|
|
|
return new_font |
|
145
|
|
|
|
|
146
|
|
|
|
|
147
|
|
|
@staticmethod |
|
148
|
|
|
def unique_int(values): |
|
149
|
|
|
''' |
|
150
|
|
|
if a list looks like 3,6 |
|
151
|
|
|
if repeatedly called will return 1,2,4,5,7,8 |
|
152
|
|
|
''' |
|
153
|
|
|
last = 0 |
|
154
|
|
|
for num in values: |
|
155
|
|
|
if last not in values: |
|
156
|
|
|
break |
|
157
|
|
|
else: |
|
158
|
|
|
last += 1 |
|
159
|
|
|
return last |
|
160
|
|
|
|