Problems installing and running Gideon

Bernd Gehrmann bernd at
Tue Jun 19 09:12:50 BST 2001

On Mon, 18 Jun 2001, Richard Dale wrote:
> Should there be a mechanism for ensuring tab names are unique? For example, a
> number in brackets after the name, like kwrite if you have the same document
> open more than once. Or an optional suffix could be provided along with the tab
> name. Then you would insert 'Watch' with suffix 'java', if there was no
> existing 'Watch' tab it would appear as 'Watch', otherwise 'Watch (java)' to
> distinguish it. Similarly menu names might need some sort of name uniquing
> mechanism.

For tabs, this might work. For menus, I think actions must have a
unique entry (i.e. toplevel/submenu combination), because this is
done through xmlgui, and there are no hooks to find out whether
there are clashes.


to unsubscribe from this list send an email to kdevelop-request at with the following body:
unsubscribe »your-email-address«

More information about the KDevelop mailing list