mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

about summary refs log tree commit diff stats

diff options

Diffstat (limited to 'archive/1.vm/018constant.cc')

0 files changed, 0 insertions, 0 deletions

'>^

b4c2c703 ^

f257e476 ^

f257e476 ^

43e0f44a ^

a406a33d ^

3e9db3e7 ^

a78cfb7e ^

506fbaa3 ^

f257e476 ^

45076ed4 ^

3e9db3e7 ^

66aad8a7 ^

6613bf41 ^

06aefcf5 ^

f257e476 ^

06aefcf5 ^

f257e476 ^

06aefcf5 ^

a78cfb7e ^

06aefcf5 ^

3e9db3e7 ^

f257e476 ^

06aefcf5 ^

a78cfb7e ^

f5596d88 ^

06aefcf5 ^

45076ed4 ^

ea87d005 ^

3e9db3e7 ^

06aefcf5 ^

ea87d005 ^

33cb688a ^

ea87d005 ^

f257e476 ^

3e9db3e7 ^

45076ed4 ^

45076ed4 ^

66aad8a7 ^

3e9db3e7 ^

229a1487 ^

3e9db3e7 ^

45076ed4 ^

ea87d005 ^

229a1487 ^

66aad8a7 ^

229a1487 ^

66aad8a7 ^

229a1487 ^

a78cfb7e ^

43e0f44a ^

98761094 ^

a78cfb7e ^

a406a33d ^

6613bf41 ^

a406a33d ^

292b4476 ^

a406a33d ^

a406a33d ^

292b4476 ^

06aefcf5 ^

417c594f ^

41df56be ^

ea87d005 ^

3e9db3e7 ^

5715beca ^

3e9db3e7 ^

f257e476 ^

ee7b001d ^

5715beca ^

43e0f44a ^

ee7b001d ^

5715beca ^

1a8d64f1 ^

f257e476 ^

ee7b001d ^

f257e476 ^

32944f05 ^

f257e476 ^

5715beca ^

f257e476 ^

06aefcf5 ^

b4cb1f7d ^

b3125849 ^

d6e2900a ^

b4cb1f7d ^

f257e476 ^

a406a33d ^

f257e476 ^

811f5bb8 ^

6613bf41 ^

811f5bb8 ^

7defcc26 ^

811f5bb8 ^

f257e476 ^

ea87d005 ^

f257e476 ^

43e0f44a ^

9b05f8d7 ^

43e0f44a ^

f257e476 ^

5
6
7

14
15
16

33
34

46
47
48

50
51

54
55
56

65
66

68
69

88
89
90

110
111

119
120
121

123
124

143
144
145

147
148

150
151

155
156

166
167
168

169
170

172
173

174
175

177
178

185
186

187
188

189
190
191

194
195

206
207
208

209
210
211

# Copyright (C) 2009, 2010, 2011  Roman Zimbelmann <romanz@lavabit.com>
# Copyright (C) 2010 David Barnett <davidbarnett2@gmail.com>
# This software is distributed under the terms of the GNU GPL version 3.

"""
The pager displays text and allows you to scroll inside it.
"""
from . import Widget
from ranger.gui import ansi
from ranger.ext.direction import Direction
import ranger.ext.img_display as img_display

# TODO: Scrolling in embedded pager
class Pager(Widget):
	source = None
	source_is_stream = False

	old_source = None
	old_scroll_begin = 0
	old_startx = 0
	need_clear_image = False
	need_redraw_image = False
	max_width = None
	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 = []
		self.image = None

	def open(self):
		self.scroll_begin = 0
		self.markup = None
		self.max_width = 0
		self.startx = 0
		self.need_redraw = True

	def clear_image(self):
		if self.need_clear_image:
			self.win.clear()
			self.win.refresh()
			self.need_clear_image = False

	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.need_clear_image:
			self.need_redraw = True

		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

		if self.need_redraw:
			self.need_redraw_image = True
			self.clear_image()

			if not self.image:
				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_image(self):
		if self.image and self.need_redraw_image:
			self.source = None
			self.need_redraw_image = False
			try:
				img_display.draw(self.image, self.x, self.y, self.wid, self.hei)
			except Exception as e:
				self.fm.notify(e, bad=True)

	def _draw_line(self, i, line):
		if self.markup is None:
			self.addstr(i, 0, line)
		elif self.markup == 'ansi':
			try:
				self.win.move(i, 0)
			except:
				pass
			else:
				for chunk in ansi.text_with_fg_bg_attr(line):
					if isinstance(chunk, tuple):
						self.set_fg_bg_attr(*chunk)
					else:
						self.addstr(chunk)

	def move(self, narg=None, **kw):
		direction = Direction(kw)
		if direction.horizontal():
			self.startx = direction.move(
					direction=direction.right(),
					override=narg,
					maximum=self.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.fm.ui.keymaps.use_keymap('pager')
		self.fm.ui.press(key)

	def set_image(self, image):
		if self.image:
			self.need_clear_image = True
		self.image = image

		if self.source and self.source_is_stream:
			self.source.close()
		self.source = None
		self.source_is_stream = False

	def set_source(self, source, strip=False):
		if self.image:
			self.image = None
			self.need_clear_image = True

		if self.source and self.source_is_stream:
			self.source.close()

		self.max_width = 0
		if isinstance(source, str):
			self.source_is_stream = False
			self.lines = source.splitlines()
			if self.lines:
				self.max_width = max(len(line) for line in self.lines)
		elif hasattr(source, '__getitem__'):
			self.source_is_stream = False
			self.lines = source
			if self.lines:
				self.max_width = max(len(line) for line in source)
		elif hasattr(source, 'readline'):
			self.source_is_stream = True
			self.lines = []
		else:
			self.source = None
			self.source_is_stream = False
			return False
		self.markup = 'ansi'

		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:
						if len(l) > self.max_width:
							self.max_width = len(l)
						self.lines.append(l)
						if len(self.lines) > n:
							break
				except (UnicodeError, IOError):
					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)
				if self.markup is 'ansi':
					line = ansi.char_slice(line, startx, self.wid) + ansi.reset
				else:
					line = line[startx:self.wid + startx]
				yield line.rstrip()
			except IndexError:
				raise StopIteration
			i += 1


context:
space:
mode: