mirror of
https://github.com/gryf/wmaker.git
synced 2026-01-05 13:24:14 +01:00
ad373ef0dd
The new function wGetWorkspaceNumber returns the workspace number for a given workspace name. The code of this function is already used in session.c and wdefaults.c and now is moved to workspace.c In wSessionRestoreLastWorkspace the char value is checked before calling the function, because without string, the function don't do nothing.
47 lines
1.6 KiB
C
47 lines
1.6 KiB
C
/* workspace.c- Workspace management
|
|
*
|
|
* Window Maker window manager
|
|
*
|
|
* Copyright (c) 1997-2003 Alfredo K. Kojima
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
*/
|
|
|
|
#ifndef WMWORKSPACE_H_
|
|
#define WMWORKSPACE_H_
|
|
|
|
|
|
|
|
typedef struct WWorkspace {
|
|
char *name;
|
|
struct WDock *clip;
|
|
} WWorkspace;
|
|
|
|
void wWorkspaceMake(WScreen *scr, int count);
|
|
int wWorkspaceNew(WScreen *scr);
|
|
int wGetWorkspaceNumber(WScreen * scr, char * value);
|
|
Bool wWorkspaceDelete(WScreen *scr, int workspace);
|
|
void wWorkspaceChange(WScreen *scr, int workspace);
|
|
void wWorkspaceForceChange(WScreen *scr, int workspace);
|
|
WMenu *wWorkspaceMenuMake(WScreen *scr, Bool titled);
|
|
void wWorkspaceMenuUpdate(WScreen *scr, WMenu *menu);
|
|
void wWorkspaceMenuEdit(WScreen *scr);
|
|
void wWorkspaceSaveState(WScreen *scr, WMPropList *old_state);
|
|
void wWorkspaceRestoreState(WScreen *scr);
|
|
void wWorkspaceRename(WScreen *scr, int workspace, char *name);
|
|
void wWorkspaceRelativeChange(WScreen *scr, int amount);
|
|
|
|
#endif
|