#!/usr/bin/env python import gtk_gui if __name__ == '__main__': print '*'*80, 'BEGIN' gtk_gui.main() print '*'*80, 'END'