| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577 |
- # ============================================================================
- # File: gundo.py
- # Description: vim global plugin to visualize your undo tree
- # Maintainer: Steve Losh <steve@stevelosh.com>
- # License: GPLv2+ -- look it up.
- # Notes: Much of this code was thiefed from Mercurial, and the rest was
- # heavily inspired by scratch.vim and histwin.vim.
- #
- # ============================================================================
- import difflib
- import itertools
- import sys
- import time
- import vim
- # Mercurial's graphlog code --------------------------------------------------------
- def asciiedges(seen, rev, parents):
- """adds edge info to changelog DAG walk suitable for ascii()"""
- if rev not in seen:
- seen.append(rev)
- nodeidx = seen.index(rev)
- knownparents = []
- newparents = []
- for parent in parents:
- if parent in seen:
- knownparents.append(parent)
- else:
- newparents.append(parent)
- ncols = len(seen)
- seen[nodeidx:nodeidx + 1] = newparents
- edges = [(nodeidx, seen.index(p)) for p in knownparents]
- if len(newparents) > 0:
- edges.append((nodeidx, nodeidx))
- if len(newparents) > 1:
- edges.append((nodeidx, nodeidx + 1))
- nmorecols = len(seen) - ncols
- return nodeidx, edges, ncols, nmorecols
- def get_nodeline_edges_tail(
- node_index, p_node_index, n_columns, n_columns_diff, p_diff, fix_tail):
- if fix_tail and n_columns_diff == p_diff and n_columns_diff != 0:
- # Still going in the same non-vertical direction.
- if n_columns_diff == -1:
- start = max(node_index + 1, p_node_index)
- tail = ["|", " "] * (start - node_index - 1)
- tail.extend(["/", " "] * (n_columns - start))
- return tail
- else:
- return ["\\", " "] * (n_columns - node_index - 1)
- else:
- return ["|", " "] * (n_columns - node_index - 1)
- def draw_edges(edges, nodeline, interline):
- for (start, end) in edges:
- if start == end + 1:
- interline[2 * end + 1] = "/"
- elif start == end - 1:
- interline[2 * start + 1] = "\\"
- elif start == end:
- interline[2 * start] = "|"
- else:
- nodeline[2 * end] = "+"
- if start > end:
- (start, end) = (end, start)
- for i in range(2 * start + 1, 2 * end):
- if nodeline[i] != "+":
- nodeline[i] = "-"
- def fix_long_right_edges(edges):
- for (i, (start, end)) in enumerate(edges):
- if end > start:
- edges[i] = (start, end + 1)
- def ascii(buf, state, type, char, text, coldata):
- """prints an ASCII graph of the DAG
- takes the following arguments (one call per node in the graph):
- - Somewhere to keep the needed state in (init to asciistate())
- - Column of the current node in the set of ongoing edges.
- - Type indicator of node data == ASCIIDATA.
- - Payload: (char, lines):
- - Character to use as node's symbol.
- - List of lines to display as the node's text.
- - Edges; a list of (col, next_col) indicating the edges between
- the current node and its parents.
- - Number of columns (ongoing edges) in the current revision.
- - The difference between the number of columns (ongoing edges)
- in the next revision and the number of columns (ongoing edges)
- in the current revision. That is: -1 means one column removed;
- 0 means no columns added or removed; 1 means one column added.
- """
- idx, edges, ncols, coldiff = coldata
- assert -2 < coldiff < 2
- if coldiff == -1:
- # Transform
- #
- # | | | | | |
- # o | | into o---+
- # |X / |/ /
- # | | | |
- fix_long_right_edges(edges)
- # add_padding_line says whether to rewrite
- #
- # | | | | | | | |
- # | o---+ into | o---+
- # | / / | | | # <--- padding line
- # o | | | / /
- # o | |
- add_padding_line = (len(text) > 2 and coldiff == -1 and
- [x for (x, y) in edges if x + 1 < y])
- # fix_nodeline_tail says whether to rewrite
- #
- # | | o | | | | o | |
- # | | |/ / | | |/ /
- # | o | | into | o / / # <--- fixed nodeline tail
- # | |/ / | |/ /
- # o | | o | |
- fix_nodeline_tail = len(text) <= 2 and not add_padding_line
- # nodeline is the line containing the node character (typically o)
- nodeline = ["|", " "] * idx
- nodeline.extend([char, " "])
- nodeline.extend(
- get_nodeline_edges_tail(idx, state[1], ncols, coldiff,
- state[0], fix_nodeline_tail))
- # shift_interline is the line containing the non-vertical
- # edges between this entry and the next
- shift_interline = ["|", " "] * idx
- if coldiff == -1:
- n_spaces = 1
- edge_ch = "/"
- elif coldiff == 0:
- n_spaces = 2
- edge_ch = "|"
- else:
- n_spaces = 3
- edge_ch = "\\"
- shift_interline.extend(n_spaces * [" "])
- shift_interline.extend([edge_ch, " "] * (ncols - idx - 1))
- # draw edges from the current node to its parents
- draw_edges(edges, nodeline, shift_interline)
- # lines is the list of all graph lines to print
- lines = [nodeline]
- if add_padding_line:
- lines.append(get_padding_line(idx, ncols, edges))
- lines.append(shift_interline)
- # make sure that there are as many graph lines as there are
- # log strings
- while len(text) < len(lines):
- text.append("")
- if len(lines) < len(text):
- extra_interline = ["|", " "] * (ncols + coldiff)
- while len(lines) < len(text):
- lines.append(extra_interline)
- # print lines
- indentation_level = max(ncols, ncols + coldiff)
- for (line, logstr) in zip(lines, text):
- ln = "%-*s %s" % (2 * indentation_level, "".join(line), logstr)
- buf.write(ln.rstrip() + '\n')
- # ... and start over
- state[0] = coldiff
- state[1] = idx
- def generate(dag, edgefn, current):
- seen, state = [], [0, 0]
- buf = Buffer()
- for node, parents in list(dag):
- if node.time:
- age_label = age(int(node.time))
- else:
- age_label = 'Original'
- line = '[%s] %s' % (node.n, age_label)
- if node.n == current:
- char = '@'
- else:
- char = 'o'
- ascii(buf, state, 'C', char, [line], edgefn(seen, node, parents))
- return buf.b
- # Mercurial age function -----------------------------------------------------------
- agescales = [("year", 3600 * 24 * 365),
- ("month", 3600 * 24 * 30),
- ("week", 3600 * 24 * 7),
- ("day", 3600 * 24),
- ("hour", 3600),
- ("minute", 60),
- ("second", 1)]
- def age(ts):
- '''turn a timestamp into an age string.'''
- def plural(t, c):
- if c == 1:
- return t
- return t + "s"
- def fmt(t, c):
- return "%d %s" % (c, plural(t, c))
- now = time.time()
- then = ts
- if then > now:
- return 'in the future'
- delta = max(1, int(now - then))
- if delta > agescales[0][1] * 2:
- return time.strftime('%Y-%m-%d', time.gmtime(float(ts)))
- for t, s in agescales:
- n = delta // s
- if n >= 2 or s == 1:
- return '%s ago' % fmt(t, n)
- # Python Vim utility functions -----------------------------------------------------
- normal = lambda s: vim.command('normal %s' % s)
- MISSING_BUFFER = "Cannot find Gundo's target buffer (%s)"
- MISSING_WINDOW = "Cannot find window (%s) for Gundo's target buffer (%s)"
- def _check_sanity():
- '''Check to make sure we're not crazy.
- Does the following things:
- * Make sure the target buffer still exists.
- '''
- b = int(vim.eval('g:gundo_target_n'))
- if not vim.eval('bufloaded(%d)' % b):
- vim.command('echo "%s"' % (MISSING_BUFFER % b))
- return False
- w = int(vim.eval('bufwinnr(%d)' % b))
- if w == -1:
- vim.command('echo "%s"' % (MISSING_WINDOW % (w, b)))
- return False
- return True
- def _goto_window_for_buffer(b):
- w = int(vim.eval('bufwinnr(%d)' % int(b)))
- vim.command('%dwincmd w' % w)
- def _goto_window_for_buffer_name(bn):
- b = vim.eval('bufnr("%s")' % bn)
- return _goto_window_for_buffer(b)
- def _undo_to(n):
- n = int(n)
- if n == 0:
- vim.command('silent earlier %s' % (int(vim.eval('&undolevels')) + 1))
- else:
- vim.command('silent undo %d' % n)
- INLINE_HELP = '''\
- " Gundo for %s (%d)
- " j/k - move between undo states
- " p - preview diff of selected and current states
- " <cr> - revert to selected state
- '''
- # Python undo tree data structures and functions -----------------------------------
- class Buffer(object):
- def __init__(self):
- self.b = ''
- def write(self, s):
- self.b += s
- class Node(object):
- def __init__(self, n, parent, time, curhead):
- self.n = int(n)
- self.parent = parent
- self.children = []
- self.curhead = curhead
- self.time = time
- def _make_nodes(alts, nodes, parent=None):
- p = parent
- for alt in alts:
- curhead = 'curhead' in alt
- node = Node(n=alt['seq'], parent=p, time=alt['time'], curhead=curhead)
- nodes.append(node)
- if alt.get('alt'):
- _make_nodes(alt['alt'], nodes, p)
- p = node
- def make_nodes():
- ut = vim.eval('undotree()')
- entries = ut['entries']
- root = Node(0, None, False, 0)
- nodes = []
- _make_nodes(entries, nodes, root)
- nodes.append(root)
- nmap = dict((node.n, node) for node in nodes)
- return nodes, nmap
- def changenr(nodes):
- _curhead_l = list(itertools.dropwhile(lambda n: not n.curhead, nodes))
- if _curhead_l:
- current = _curhead_l[0].parent.n
- else:
- current = int(vim.eval('changenr()'))
- return current
- # Gundo rendering ------------------------------------------------------------------
- # Rendering utility functions
- def _fmt_time(t):
- return time.strftime('%Y-%m-%d %I:%M:%S %p', time.localtime(float(t)))
- def _output_preview_text(lines):
- _goto_window_for_buffer_name('__Gundo_Preview__')
- vim.command('setlocal modifiable')
- vim.current.buffer[:] = lines
- vim.command('setlocal nomodifiable')
- def _generate_preview_diff(current, node_before, node_after):
- _goto_window_for_buffer(vim.eval('g:gundo_target_n'))
- if not node_after.n: # we're at the original file
- before_lines = []
- _undo_to(0)
- after_lines = vim.current.buffer[:]
- before_name = 'n/a'
- before_time = ''
- after_name = 'Original'
- after_time = ''
- elif not node_before.n: # we're at a pseudo-root state
- _undo_to(0)
- before_lines = vim.current.buffer[:]
- _undo_to(node_after.n)
- after_lines = vim.current.buffer[:]
- before_name = 'Original'
- before_time = ''
- after_name = node_after.n
- after_time = _fmt_time(node_after.time)
- else:
- _undo_to(node_before.n)
- before_lines = vim.current.buffer[:]
- _undo_to(node_after.n)
- after_lines = vim.current.buffer[:]
- before_name = node_before.n
- before_time = _fmt_time(node_before.time)
- after_name = node_after.n
- after_time = _fmt_time(node_after.time)
- _undo_to(current)
- return list(difflib.unified_diff(before_lines, after_lines,
- before_name, after_name,
- before_time, after_time))
- def _generate_change_preview_diff(current, node_before, node_after):
- _goto_window_for_buffer(vim.eval('g:gundo_target_n'))
- _undo_to(node_before.n)
- before_lines = vim.current.buffer[:]
- _undo_to(node_after.n)
- after_lines = vim.current.buffer[:]
- before_name = node_before.n or 'Original'
- before_time = node_before.time and _fmt_time(node_before.time) or ''
- after_name = node_after.n or 'Original'
- after_time = node_after.time and _fmt_time(node_after.time) or ''
- _undo_to(current)
- return list(difflib.unified_diff(before_lines, after_lines,
- before_name, after_name,
- before_time, after_time))
- def GundoRenderGraph():
- if not _check_sanity():
- return
- nodes, nmap = make_nodes()
- for node in nodes:
- node.children = [n for n in nodes if n.parent == node]
- def walk_nodes(nodes):
- for node in nodes:
- if node.parent:
- yield (node, [node.parent])
- else:
- yield (node, [])
- dag = sorted(nodes, key=lambda n: int(n.n), reverse=True)
- current = changenr(nodes)
- result = generate(walk_nodes(dag), asciiedges, current).rstrip().splitlines()
- result = [' ' + l for l in result]
- target = (vim.eval('g:gundo_target_f'), int(vim.eval('g:gundo_target_n')))
- if int(vim.eval('g:gundo_help')):
- header = (INLINE_HELP % target).splitlines()
- else:
- header = []
- vim.command('call s:GundoOpenGraph()')
- vim.command('setlocal modifiable')
- vim.current.buffer[:] = (header + result)
- vim.command('setlocal nomodifiable')
- i = 1
- for line in result:
- try:
- line.split('[')[0].index('@')
- i += 1
- break
- except ValueError:
- pass
- i += 1
- vim.command('%d' % (i+len(header)-1))
- def GundoRenderPreview():
- if not _check_sanity():
- return
- target_state = vim.eval('s:GundoGetTargetState()')
- # Check that there's an undo state. There may not be if we're talking about
- # a buffer with no changes yet.
- if target_state == None:
- _goto_window_for_buffer_name('__Gundo__')
- return
- else:
- target_state = int(target_state)
- _goto_window_for_buffer(vim.eval('g:gundo_target_n'))
- nodes, nmap = make_nodes()
- current = changenr(nodes)
- node_after = nmap[target_state]
- node_before = node_after.parent
- vim.command('call s:GundoOpenPreview()')
- _output_preview_text(_generate_preview_diff(current, node_before, node_after))
- _goto_window_for_buffer_name('__Gundo__')
- def GundoRenderChangePreview():
- if not _check_sanity():
- return
- target_state = vim.eval('s:GundoGetTargetState()')
- # Check that there's an undo state. There may not be if we're talking about
- # a buffer with no changes yet.
- if target_state == None:
- _goto_window_for_buffer_name('__Gundo__')
- return
- else:
- target_state = int(target_state)
- _goto_window_for_buffer(vim.eval('g:gundo_target_n'))
- nodes, nmap = make_nodes()
- current = changenr(nodes)
- node_after = nmap[target_state]
- node_before = nmap[current]
- vim.command('call s:GundoOpenPreview()')
- _output_preview_text(_generate_change_preview_diff(current, node_before, node_after))
- _goto_window_for_buffer_name('__Gundo__')
- # Gundo undo/redo
- def GundoRevert():
- if not _check_sanity():
- return
- target_n = int(vim.eval('s:GundoGetTargetState()'))
- back = vim.eval('g:gundo_target_n')
- _goto_window_for_buffer(back)
- _undo_to(target_n)
- vim.command('GundoRenderGraph')
- _goto_window_for_buffer(back)
- if int(vim.eval('g:gundo_close_on_revert')):
- vim.command('GundoToggle')
- def GundoPlayTo():
- if not _check_sanity():
- return
- target_n = int(vim.eval('s:GundoGetTargetState()'))
- back = int(vim.eval('g:gundo_target_n'))
- vim.command('echo "%s"' % back)
- _goto_window_for_buffer(back)
- normal('zR')
- nodes, nmap = make_nodes()
- start = nmap[changenr(nodes)]
- end = nmap[target_n]
- def _walk_branch(origin, dest):
- rev = origin.n < dest.n
- nodes = []
- if origin.n > dest.n:
- current, final = origin, dest
- else:
- current, final = dest, origin
- while current.n >= final.n:
- if current.n == final.n:
- break
- nodes.append(current)
- current = current.parent
- else:
- return None
- nodes.append(current)
- if rev:
- return reversed(nodes)
- else:
- return nodes
- branch = _walk_branch(start, end)
- if not branch:
- vim.command('unsilent echo "No path to that node from here!"')
- return
- for node in branch:
- _undo_to(node.n)
- vim.command('GundoRenderGraph')
- normal('zz')
- _goto_window_for_buffer(back)
- vim.command('redraw')
- vim.command('sleep 60m')
- def initPythonModule():
- if sys.version_info[:2] < (2, 4):
- vim.command('let s:has_supported_python = 0')
|