diff browser_side/menu.py @ 123:5cb852d9757e

use of async history
author Goffi <goffi@goffi.org>
date Sat, 10 Dec 2011 12:26:43 +0100
parents 500a1529c191
children f9d63624699f
line wrap: on
line diff