diff options
author | Andrés Ambrois <andresambrois@gmail.com> | 2008-09-26 07:00:30 (GMT) |
---|---|---|
committer | Andrés Ambrois <andresambrois@gmail.com> | 2008-09-26 07:00:30 (GMT) |
commit | e719d3579bb1539117b85eff6379eee0c7a77cd8 (patch) | |
tree | fd43f4b43ae55848145099920e972567a4419429 /gametoolbar.py | |
parent | 56676b0f7e6b4b71e01c6e698b0707abeadd6b7a (diff) |
Add GnuGo 3.6 to the bundle. Use system's GnuGo if installed.
Diffstat (limited to 'gametoolbar.py')
-rw-r--r-- | gametoolbar.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gametoolbar.py b/gametoolbar.py index d512593..b21deca 100644 --- a/gametoolbar.py +++ b/gametoolbar.py @@ -124,3 +124,6 @@ class GameToolbar(gtk.Toolbar): def grey_out_ai(self): self._ai_button.set_sensitive(False) + + def set_ai_button_state(self, value): + self._ai_button.set_active(value) |