Introduce get_existing_workspace_by_num

2018-03-27 22:36:51 +03:00
parent 6a2728ba79
commit 0b5799412a
4 changed files with 26 additions and 27 deletions
--- a/include/workspace.h
+++ b/include/workspace.h
@ -31,6 +31,13 @@
 */
 Con *get_existing_workspace_by_name(const char *name);

+/**
+ * Returns the workspace with the given number or NULL if such a workspace does
+ * not exist.
+ *
+ */
+Con *get_existing_workspace_by_num(int num);
+
 /**
 * Returns a pointer to the workspace with the given number (starting at 0),
 * creating the workspace if necessary (by allocating the necessary amount of