diff hgeditor @ 3339:0e3c45a74683

ui.py: don't let parent and child ui objects share header and prev_header
author Alexis S. L. Carvalho <alexis@cecm.usp.br>
date Tue, 10 Oct 2006 18:43:20 -0300
parents d9b8d28c0b94
children 7a7d4937272b
line wrap: on
line diff