mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-24 15:12:32 +01:00
33cc542e85
- Also tested the backward compatibility ability of the WINGs proplist code which seems to work quite well. Starting with this moment, Window Maker no longer needs libPropList and is now using the better and much more robust proplist code from WINGs. Also the WINGs based proplist code is actively maintained while the old libPropList code is practically dead and flawed by the fact that it borrowed concepts from the UserDefaults which conflicted with the retain/release mechanism, making some problems that libPropList had, practically unsolvable without a complete redesign (which can be found in the more robust WINGs code).
66 lines
2.1 KiB
C
66 lines
2.1 KiB
C
/* workspace.c- Workspace management
|
|
*
|
|
* Window Maker window manager
|
|
*
|
|
* Copyright (c) 1997, 1998 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
|
|
* USA.
|
|
*/
|
|
|
|
#ifndef WMWORKSPACE_H_
|
|
#define WMWORKSPACE_H_
|
|
|
|
|
|
|
|
typedef struct WWorkspace {
|
|
char *name;
|
|
#ifdef VIRTUAL_DESKTOP
|
|
int width, height;
|
|
int view_x, view_y;
|
|
#endif
|
|
struct WDock *clip;
|
|
} WWorkspace;
|
|
|
|
void wWorkspaceMake(WScreen *scr, int count);
|
|
int wWorkspaceNew(WScreen *scr);
|
|
Bool wWorkspaceDelete(WScreen *scr, int workspace);
|
|
void wWorkspaceChange(WScreen *scr, int workspace);
|
|
void wWorkspaceForceChange(WScreen *scr, int workspace);
|
|
#ifdef VIRTUAL_DESKTOP
|
|
void wWorkspaceManageEdge(WScreen *scr);
|
|
void wWorkspaceRaiseEdge(WScreen *scr);
|
|
void wWorkspaceLowerEdge(WScreen *scr);
|
|
void wWorkspaceResizeViewPort(WScreen *scr, int workspace, int width, int height);
|
|
Bool wWorkspaceSetViewPort(WScreen *scr, int workspace, int view_x, int view_y);
|
|
Bool wWorkspaceAdjustViewPort(WScreen *scr, int workspace, int view_x, int view_y);
|
|
void wWorkspaceGetViewPosition(WScreen *scr, int workspace, int *view_x, int *view_y);
|
|
#endif
|
|
|
|
|
|
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
|