Dave Peticolas <dave@krondo.com> writes: > That is what GnomeMDI is supposed to do -- allow the user to choose > between windows or tabbed panes. Nice idea. Make everybody happy. We can't have that. -- Rob Browning <rlb@cs.utexas.edu> PGP=E80E0D04F521A094 532B97F5D64E3930