--- ide/undo_lablgtk_ge26.mli 2005-11-18 12:09:10.000000000 -0500
+++ ide/undo_lablgtk_ge26.mli 2009-03-03 21:29:37.000000000 -0500
@@ -24,6 +24,7 @@
?cursor_visible:bool ->
?justification:GtkEnums.justification ->
?wrap_mode:GtkEnums.wrap_mode ->
+ ?accepts_tab:bool ->
?border_width:int ->
?width:int ->
?height:int ->