diff options
Diffstat (limited to 'src/meta/workspace.h')
| -rw-r--r-- | src/meta/workspace.h | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/meta/workspace.h b/src/meta/workspace.h index 7e0ce3cd7..972177060 100644 --- a/src/meta/workspace.h +++ b/src/meta/workspace.h @@ -23,17 +23,6 @@ #ifndef META_WORKSPACE_H #define META_WORKSPACE_H -/** - * SECTION:workspace - * @short_description:Workspaces - * - * A workspace is a set of windows which all live on the same - * screen. (You may also see the name "desktop" around the place, - * which is the EWMH's name for the same thing.) Only one workspace - * of a screen may be active at once; all windows on all other workspaces - * are unmapped. - */ - #include <meta/types.h> #include <meta/boxes.h> #include <meta/screen.h> |