2000-03-24 22:23:02 +00:00
|
|
|
/*****************************************************************
|
|
|
|
kwin - the KDE window manager
|
|
|
|
|
|
|
|
Copyright (C) 1999, 2000 Matthias Ettrich <ettrich@kde.org>
|
|
|
|
******************************************************************/
|
1999-08-19 23:26:42 +00:00
|
|
|
#include "tabbox.h"
|
|
|
|
#include "workspace.h"
|
|
|
|
#include "client.h"
|
|
|
|
#include <qpainter.h>
|
1999-11-26 22:10:25 +00:00
|
|
|
#include <qlabel.h>
|
|
|
|
#include <qdrawutil.h>
|
1999-08-19 23:26:42 +00:00
|
|
|
|
|
|
|
const bool options_traverse_all = FALSE; // TODO
|
|
|
|
|
1999-11-25 12:53:17 +00:00
|
|
|
TabBox::TabBox( Workspace *ws, const char *name )
|
1999-08-19 23:26:42 +00:00
|
|
|
: QWidget( 0, name, WStyle_Customize | WStyle_NoBorder )
|
|
|
|
{
|
|
|
|
wspace = ws;
|
|
|
|
reset();
|
|
|
|
}
|
|
|
|
|
|
|
|
TabBox::~TabBox()
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Sets the current mode to \a mode, either DesktopMode or WindowsMode
|
|
|
|
|
|
|
|
\sa mode()
|
|
|
|
*/
|
|
|
|
void TabBox::setMode( Mode mode )
|
|
|
|
{
|
|
|
|
m = mode;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Resets the tab box to display the active client in WindowsMode, or the
|
|
|
|
current desktop in DesktopMode
|
|
|
|
*/
|
|
|
|
void TabBox::reset()
|
|
|
|
{
|
|
|
|
QFont f = font();
|
|
|
|
f.setBold( TRUE );
|
|
|
|
f.setPointSize( 14 );
|
|
|
|
setFont( f );
|
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
wmax = 0;
|
1999-08-19 23:26:42 +00:00
|
|
|
|
|
|
|
if ( mode() == WindowsMode ) {
|
|
|
|
client = workspace()->activeClient();
|
1999-11-26 22:10:25 +00:00
|
|
|
clients.clear();
|
|
|
|
Client* c = workspace()->nextClient( client );
|
|
|
|
Client* stop = c;
|
|
|
|
QFontMetrics fm( fontMetrics() );
|
|
|
|
int cw = 0;
|
|
|
|
while ( c ) {
|
1999-11-28 20:10:58 +00:00
|
|
|
if ( (options_traverse_all ||c->isOnDesktop(workspace()->currentDesktop()))
|
|
|
|
&& (!c->isIconified() || c->mainClient() == c ) ) {
|
1999-11-26 22:10:25 +00:00
|
|
|
if ( client == c )
|
|
|
|
clients.prepend( c );
|
|
|
|
else
|
|
|
|
clients += c;
|
|
|
|
cw = fm.width( c->caption() ) + 40;
|
|
|
|
if ( cw > wmax )
|
|
|
|
wmax = cw;
|
|
|
|
}
|
|
|
|
c = workspace()->nextClient( c );
|
|
|
|
if ( c == stop )
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
wmax = QMAX( wmax, int(clients.count())*20 );
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
else { // DesktopMode
|
1999-11-26 22:10:25 +00:00
|
|
|
desk = workspace()->currentDesktop();
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
int w = QMAX( wmax + 20, qApp->desktop()->width()/3 );
|
|
|
|
setGeometry( (qApp->desktop()->width()-w)/2,
|
|
|
|
qApp->desktop()->height()/2-fontMetrics().height()*2-10,
|
|
|
|
w, fontMetrics().height()*4 + 20 );
|
|
|
|
wmax = QMIN( wmax, width() - 12 );
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Shows the next or previous item, depending on \a next
|
|
|
|
*/
|
|
|
|
void TabBox::nextPrev( bool next)
|
|
|
|
{
|
|
|
|
if ( mode() == WindowsMode ) {
|
|
|
|
Client* sign = client;
|
|
|
|
do {
|
|
|
|
if (client != sign && !sign)
|
|
|
|
sign = client;
|
|
|
|
if ( next )
|
|
|
|
client = workspace()->nextClient(client);
|
|
|
|
else
|
|
|
|
client = workspace()->previousClient(client);
|
|
|
|
} while (client != sign && client &&
|
2000-03-24 22:23:02 +00:00
|
|
|
(( !options_traverse_all &&
|
|
|
|
!client->isOnDesktop(workspace()->currentDesktop()) ) ||
|
|
|
|
( client->isIconified() && client->mainClient() != client ))
|
1999-11-28 20:10:58 +00:00
|
|
|
);
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
|
|
|
|
if (!options_traverse_all && client
|
|
|
|
&& !client->isOnDesktop(workspace()->currentDesktop()))
|
|
|
|
client = 0;
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
else { // DesktopMode
|
|
|
|
if ( next ) {
|
|
|
|
desk++;
|
1999-11-26 22:10:25 +00:00
|
|
|
if ( desk > workspace()->numberOfDesktops() )
|
1999-08-19 23:26:42 +00:00
|
|
|
desk = 1;
|
|
|
|
} else {
|
|
|
|
desk--;
|
|
|
|
if ( desk < 1 )
|
1999-11-26 22:10:25 +00:00
|
|
|
desk = workspace()->numberOfDesktops();
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
paintContents();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Returns the currently displayed client ( only works in WindowsMode ).
|
|
|
|
Returns 0 if no client is displayed.
|
|
|
|
*/
|
|
|
|
Client* TabBox::currentClient()
|
|
|
|
{
|
|
|
|
if ( mode() != WindowsMode )
|
|
|
|
return 0;
|
|
|
|
return client;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Returns the currently displayed virtual desktop ( only works in
|
|
|
|
DesktopMode )
|
|
|
|
Returns -1 if no desktop is displayed.
|
|
|
|
*/
|
|
|
|
int TabBox::currentDesktop()
|
|
|
|
{
|
|
|
|
if ( mode() != DesktopMode )
|
|
|
|
return -1;
|
|
|
|
return desk;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Reimplemented to raise the tab box as well
|
|
|
|
*/
|
|
|
|
void TabBox::showEvent( QShowEvent* )
|
|
|
|
{
|
|
|
|
raise();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
/*!
|
|
|
|
hide the icon box if necessary
|
|
|
|
*/
|
|
|
|
void TabBox::hideEvent( QHideEvent* )
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
/*!
|
|
|
|
Paints the tab box
|
|
|
|
*/
|
|
|
|
void TabBox::paintEvent( QPaintEvent* )
|
|
|
|
{
|
|
|
|
{
|
|
|
|
QPainter p( this );
|
|
|
|
style().drawPanel( &p, 0, 0, width(), height(), colorGroup(), FALSE );
|
|
|
|
style().drawPanel( &p, 4, 4, width()-8, height()-8, colorGroup(), TRUE );
|
|
|
|
}
|
|
|
|
paintContents();
|
|
|
|
}
|
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
/*!
|
|
|
|
Paints the contents of the tab box. Used in paintEvent() and
|
|
|
|
whenever the contents changes.
|
|
|
|
*/
|
|
|
|
void TabBox::paintContents()
|
|
|
|
{
|
1999-11-26 22:10:25 +00:00
|
|
|
extern QPixmap* kwin_get_menu_pix_hack();
|
|
|
|
QPixmap* menu_pix = kwin_get_menu_pix_hack();
|
1999-08-19 23:26:42 +00:00
|
|
|
QPainter p( this );
|
1999-11-26 22:10:25 +00:00
|
|
|
QRect r( 6, 6, width()-12, height()-32 );
|
1999-08-19 23:26:42 +00:00
|
|
|
p.fillRect( r, colorGroup().brush( QColorGroup::Background ) );
|
|
|
|
if ( mode () == WindowsMode ) {
|
|
|
|
if ( currentClient() ) {
|
|
|
|
QString s;
|
|
|
|
if (!client->isOnDesktop(workspace()->currentDesktop())){
|
1999-11-07 01:43:06 +00:00
|
|
|
s = KWM::desktopName(client->desktop());
|
1999-08-19 23:26:42 +00:00
|
|
|
s.append(": ");
|
|
|
|
}
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
if (client->isIconified())
|
|
|
|
s += QString("(")+client->caption()+")";
|
|
|
|
else
|
|
|
|
s += client->caption();
|
1999-11-26 22:10:25 +00:00
|
|
|
int textw = fontMetrics().width( s );
|
|
|
|
r.setLeft( r.left() + (r.width() - textw)/2);
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
if ( !client->icon().isNull() ) {
|
|
|
|
int py = r.center().y() - 16;
|
|
|
|
r.setLeft( r.left() + 20 );
|
|
|
|
p.drawPixmap( r.left()-42, py, client->icon() );
|
|
|
|
}
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
p.drawText( r, AlignVCenter, s );
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
else {
|
1999-11-26 22:10:25 +00:00
|
|
|
r.setBottom( r.bottom() + 20 );
|
|
|
|
p.drawText( r, AlignCenter, "*** No Tasks ***" );
|
|
|
|
}
|
2000-03-24 22:23:02 +00:00
|
|
|
|
1999-11-26 22:10:25 +00:00
|
|
|
int x = (width() - clients.count() * 20 )/2;
|
|
|
|
int y = height() - 26;
|
|
|
|
for ( ClientList::ConstIterator it = clients.begin(); it != clients.end(); ++it) {
|
|
|
|
if ( workspace()->hasClient( *it ) ) { // safety
|
1999-11-29 02:06:41 +00:00
|
|
|
p.save();
|
1999-11-26 22:10:25 +00:00
|
|
|
if ( !(*it)->miniIcon().isNull() )
|
|
|
|
p.drawPixmap( x, y, (*it)->miniIcon() );
|
|
|
|
else if ( menu_pix )
|
|
|
|
p.drawPixmap( x, y, *menu_pix );
|
|
|
|
p.setPen( (*it)==currentClient()?
|
|
|
|
colorGroup().highlight():colorGroup().background() );
|
|
|
|
p.drawRect( x-2, y-2, 20, 20 );
|
1999-11-29 02:06:41 +00:00
|
|
|
p.setPen( colorGroup().foreground() );
|
1999-11-26 22:10:25 +00:00
|
|
|
x += 20;
|
|
|
|
}
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
} else { // DesktopMode
|
1999-11-26 22:10:25 +00:00
|
|
|
p.drawText( r, AlignCenter, QString::number( desk ) );
|
|
|
|
int x = (width() - workspace()->numberOfDesktops() * 20 )/2;
|
|
|
|
int y = height() - 26;
|
|
|
|
QFont f( font() );
|
|
|
|
f.setPointSize( 12 );
|
|
|
|
f.setBold( FALSE );
|
|
|
|
p.setFont(f );
|
|
|
|
for ( int i = 1; i <= workspace()->numberOfDesktops(); i++ ) {
|
|
|
|
p.setPen( i == desk?
|
|
|
|
colorGroup().highlight():colorGroup().background() );
|
|
|
|
p.drawRect( x-2, y-2, 20, 20 );
|
|
|
|
qDrawWinPanel( &p, QRect( x, y, 16, 16), colorGroup(), FALSE,
|
|
|
|
&colorGroup().brush(QColorGroup::Base ) );
|
|
|
|
p.setPen( colorGroup().text() );
|
|
|
|
p.drawText( x, y, 16, 16, AlignCenter, QString::number(i) );
|
|
|
|
x += 20;
|
|
|
|
}
|
1999-08-19 23:26:42 +00:00
|
|
|
}
|
|
|
|
}
|