2002-11-27 Paolo Maggi <maggi@athena.polito.it> * TODO: Updated 2002-11-27 Paolo Maggi <maggi@athena.polito.it> * gedit-view.c: set tab size when the widget is realized (fix bug #98958)