diff options
| author | rhp <rhp> | 2001-06-10 03:17:15 +0000 |
|---|---|---|
| committer | rhp <rhp> | 2001-06-10 03:17:15 +0000 |
| commit | b5e506ce9d65a5f51bad1df86d21bf3d98e99155 (patch) | |
| tree | 436273deef61eab43eedddc7668f2a7a34adfee0 /src/workspace.h | |
| parent | 146361b6f577286ac513feeb41c1675bf487a33b (diff) | |
| download | metacity-b5e506ce9d65a5f51bad1df86d21bf3d98e99155.tar.gz | |
...
Diffstat (limited to 'src/workspace.h')
| -rw-r--r-- | src/workspace.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/workspace.h b/src/workspace.h index d7f7e36d..e949dd1f 100644 --- a/src/workspace.h +++ b/src/workspace.h @@ -39,7 +39,8 @@ void meta_workspace_add_window (MetaWorkspace *workspace, MetaWindow *window); void meta_workspace_remove_window (MetaWorkspace *workspace, MetaWindow *window); - +gboolean meta_workspace_contains_window (MetaWorkspace *workspace, + MetaWindow *window); void meta_workspace_activate (MetaWorkspace *workspace); int meta_workspace_index (MetaWorkspace *workspace); int meta_workspace_screen_index (MetaWorkspace *workspace); |