# HG changeset patch # User Steve Losh # Date 1276300516 14400 # Node ID 2e5d4343bf8ff2dbd852c9964ffc6f46dcb89383 # Parent 6c968c9121c3f817dce2b60a7e5fbedea8742f05 More whitespace. diff -r 6c968c9121c3 -r 2e5d4343bf8f review/extension_ui.py --- a/review/extension_ui.py Fri Jun 11 19:54:05 2010 -0400 +++ b/review/extension_ui.py Fri Jun 11 19:55:16 2010 -0400 @@ -246,6 +246,7 @@ finally: ui.write = oldwrite + _ui = None def uisetup(ui): global _ui