play_holdem.py 文件源码

def _set_text(self, widget, text):
        """Helper function to change the text in a TextView."""
        buf = widget.get_buffer()
        buf.set_text(text)
        widget.set_buffer(buf)
        widget.show()