gui/nbtab.cc
changeset 1867 15cf1fd6a505
child 1869 52f5a7f9fb48