From: Christophe CURIS <[email protected]>
Now that the workspace are not more attached to a screen, the
parameter is not needed anymore.
---
src/screen.c | 2 +-
src/workspace.c | 2 +-
src/workspace.h | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/screen.c b/src/screen.c
index 72a7dc5..b723125 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -873,7 +873,7 @@ void wScreenSaveState(WScreen * scr)
}
}
- wWorkspaceSaveState(scr, old_state);
+ wWorkspaceSaveState(old_state);
if (!wPreferences.flags.nodrawer) {
wDrawersSaveState(scr);
diff --git a/src/workspace.c b/src/workspace.c
index 5cf3863..10c348d 100644
--- a/src/workspace.c
+++ b/src/workspace.c
@@ -798,7 +798,7 @@ void wWorkspaceMenuUpdate(WMenu *menu)
wMenuPaint(menu);
}
-void wWorkspaceSaveState(WScreen * scr, WMPropList * old_state)
+void wWorkspaceSaveState(WMPropList * old_state)
{
WMPropList *parr, *pstr, *wks_state, *old_wks_state, *foo, *bar;
int i;
diff --git a/src/workspace.h b/src/workspace.h
index 2398989..28191a2 100644
--- a/src/workspace.h
+++ b/src/workspace.h
@@ -38,7 +38,7 @@ void wWorkspaceForceChange(WScreen *scr, int workspace);
WMenu *wWorkspaceMenuMake(WScreen *scr, Bool titled);
void wWorkspaceMenuUpdate(WMenu *menu);
void wWorkspaceMenuEdit(WScreen *scr);
-void wWorkspaceSaveState(WScreen *scr, WMPropList *old_state);
+void wWorkspaceSaveState(WMPropList *old_state);
void wWorkspaceRestoreState(WScreen *scr);
void wWorkspaceRename(WScreen *scr, int workspace, const char *name);
void wWorkspaceRelativeChange(WScreen *scr, int amount);
--
1.8.4.rc3
--
To unsubscribe, send mail to [email protected].
