| commit | 6f1fa214c500100f5ee43463f33c11596319c437 | [log] [tgz] |
|---|---|---|
| author | Guilherme Polo <ggpolo@gmail.com> | Tue Aug 18 16:39:36 2009 +0000 |
| committer | Guilherme Polo <ggpolo@gmail.com> | Tue Aug 18 16:39:36 2009 +0000 |
| tree | 4dce72181488e489a0eb59b1ff8a95247b396f41 | |
| parent | 7b50c4fa7c2941047754d6dd33716b9f36fd31b0 [diff] |
Added missing static option for OptionMenu. Issue #5961.