make tabbox widget and textbox widget work like they should, fixing tabbox crasher
authorrobert <robert>
Sat, 7 Jul 2001 17:47:26 +0000 (17:47 +0000)
committerrobert <robert>
Sat, 7 Jul 2001 17:47:26 +0000 (17:47 +0000)

No differences found