bernd at physik.hu-berlin.de
Mon Jul 3 21:56:16 UTC 2000
On Mon, 3 Jul 2000, Falk Brettschneider wrote:
> Hi Bernd,
> Tab names or not tab names that is the question?
> Uhmm...once I removed the "titles" of the tab pages to give more space
> for more tabs and the MDI mainframe. The icon should show enough and the
> tooltip is for the curious cats.
Do we have icons for everything?
> But maybe we will make it configurable...just because of you and me. ;-)
Hmm, the situation looks quite analogous to icon usage in toolbars, which
is configurable KDE-wide, not?
More information about the KDevelop-devel