Removing double name label in gdl

Thomas Dybdahl Ahle <[email protected]>
Newsgroups gmane.comp.gnome.devtools
Message-ID <[email protected]> 
I'm looking into using gdl for an app, but the app is not quite as
advanced as an IDE.

Therefore I'd like to have it looking a little more simpel. Specifically
I see no reason in having the dockitem's name in two places: The grab
and the tab/button.

Is there any way to have the grab and the close button in the "tab" when
two widgets are stacked?

Regards, Thomas
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.