16
16
that should be distinguished for session management purposes, you
17
17
should set the role on those windows. It doesn't matter what string
18
18
you use for the role, as long as you have a different role for each
20
20
\author{Derived by RGtkGen from GTK+ documentation}