Mercurial > libervia-web

diff browser_side/xmlui.py @ 158:58442ed28f2b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
browser side: basic disconnection management: hard reload is done on empty signal response
author Goffi <goffi@goffi.org>
date Sat, 05 Jan 2013 16:08:25 +0100
parents 03c22ddd7c94
children 9763dec220ed
line wrap: on
line diff