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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
|
# Copyright (C) 2009, 2010 Roman Zimbelmann <romanz@lavabit.com>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
"""
The pager displays text and allows you to scroll inside it.
"""
import re
from . import Widget
from ranger.ext.direction import Direction
from ranger.container.keymap import CommandArgs
BAR_REGEXP = re.compile(r'\|\d+\?\|')
QUOTES_REGEXP = re.compile(r'"[^"]+?"')
SPECIAL_CHARS_REGEXP = re.compile(r'<\w+>|\^[A-Z]')
TITLE_REGEXP = re.compile(r'^\d+\.')
class Pager(Widget):
source = None
source_is_stream = False
old_source = None
old_scroll_begin = 0
old_startx = 0
def __init__(self, win, embedded=False):
Widget.__init__(self, win)
self.embedded = embedded
self.scroll_begin = 0
self.startx = 0
self.markup = None
self.lines = []
def open(self):
self.scroll_begin = 0
self.markup = None
self.startx = 0
self.need_redraw = True
def close(self):
if self.source and self.source_is_stream:
self.source.close()
def finalize(self):
self.fm.ui.win.move(self.y, self.x)
def draw(self):
if self.old_source != self.source:
self.old_source = self.source
self.need_redraw = True
if self.old_scroll_begin != self.scroll_begin or \
self.old_startx != self.startx:
self.old_startx = self.startx
self.old_scroll_begin = self.scroll_begin
self.need_redraw = True
if self.need_redraw:
self.win.erase()
line_gen = self._generate_lines(
starty=self.scroll_begin, startx=self.startx)
for line, i in zip(line_gen, range(self.hei)):
self._draw_line(i, line)
self.need_redraw = False
def _draw_line(self, i, line):
if self.markup is None:
self.addstr(i, 0, line)
elif self.markup is 'help':
self.addstr(i, 0, line)
baseclr = ('in_pager', 'help_markup')
if line.startswith('===='):
self.color_at(i, 0, len(line), 'seperator', *baseclr)
return
if line.startswith(' ') and \
len(line) >= 16 and line[15] == ' ':
self.color_at(i, 0, 16, 'key', *baseclr)
for m in BAR_REGEXP.finditer(line):
start, length = m.start(), m.end() - m.start()
self.color_at(i, start, length, 'bars', *baseclr)
self.color_at(i, start + 1, length - 2, 'link', *baseclr)
for m in QUOTES_REGEXP.finditer(line):
start, length = m.start(), m.end() - m.start()
self.color_at(i, start, length, 'quotes', *baseclr)
self.color_at(i, start + 1, length - 2, 'text', *baseclr)
for m in SPECIAL_CHARS_REGEXP.finditer(line):
start, length = m.start(), m.end() - m.start()
self.color_at(i, start, length, 'special', *baseclr)
if TITLE_REGEXP.match(line):
self.color_at(i, 0, -1, 'title', *baseclr)
def move(self, narg=None, **kw):
direction = Direction(kw)
if direction.horizontal():
self.startx = direction.move(
direction=direction.right(),
override=narg,
maximum=self._get_max_width(),
current=self.startx,
pagesize=self.wid,
offset=-self.wid + 1)
if direction.vertical():
if self.source_is_stream:
self._get_line(self.scroll_begin + self.hei * 2)
self.scroll_begin = direction.move(
direction=direction.down(),
override=narg,
maximum=len(self.lines),
current=self.scroll_begin,
pagesize=self.hei,
offset=-self.hei + 1)
def press(self, key):
self.env.keymanager.use_context(self.embedded and 'embedded_pager' or 'pager')
self.env.key_append(key)
kbuf = self.env.keybuffer
cmd = kbuf.command
if kbuf.failure:
kbuf.clear()
return
elif not cmd:
return
self.env.cmd = cmd
if cmd.function:
try:
cmd.function(CommandArgs.from_widget(self))
except Exception as error:
self.fm.notify(error)
if kbuf.done:
kbuf.clear()
else:
kbuf.clear()
def set_source(self, source, strip=False):
if self.source and self.source_is_stream:
self.source.close()
if isinstance(source, str):
self.source_is_stream = False
self.lines = source.split('\n')
elif hasattr(source, '__getitem__'):
self.source_is_stream = False
self.lines = source
elif hasattr(source, 'readline'):
self.source_is_stream = True
self.lines = []
else:
self.source = None
self.source_is_stream = False
return False
if not self.source_is_stream and strip:
self.lines = map(lambda x: x.strip(), self.lines)
self.source = source
return True
def click(self, event):
n = event.ctrl() and 1 or 3
direction = event.mouse_wheel_direction()
if direction:
self.move(down=direction * n)
return True
def _get_line(self, n, attempt_to_read=True):
assert isinstance(n, int), n
try:
return self.lines[n]
except (KeyError, IndexError):
if attempt_to_read and self.source_is_stream:
try:
for l in self.source:
self.lines.append(l)
if len(self.lines) > n:
break
except UnicodeError:
pass
return self._get_line(n, attempt_to_read=False)
return ""
def _generate_lines(self, starty, startx):
i = starty
if not self.source:
raise StopIteration
while True:
try:
line = self._get_line(i).expandtabs(4)
line = line[startx:self.wid + startx].rstrip()
yield line
except IndexError:
raise StopIteration
i += 1
def _get_max_width(self):
return max(len(line) for line in self.lines)
|