diff options
author | Simon Rettberg | 2019-07-02 15:55:51 +0200 |
---|---|---|
committer | Simon Rettberg | 2019-07-02 15:55:51 +0200 |
commit | d6651f307d896848372ac696e8335ac47eac8888 (patch) | |
tree | 8dc41bd8b108026620b6a40786dac919bb685c63 /src/windowmanager.h | |
parent | Don't bail out if default config doesn't exist (diff) | |
download | vmchooser2-d6651f307d896848372ac696e8335ac47eac8888.tar.gz vmchooser2-d6651f307d896848372ac696e8335ac47eac8888.tar.xz vmchooser2-d6651f307d896848372ac696e8335ac47eac8888.zip |
Temporarily spawn openbox if no WM is running
Diffstat (limited to 'src/windowmanager.h')
-rw-r--r-- | src/windowmanager.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/windowmanager.h b/src/windowmanager.h new file mode 100644 index 0000000..c89f983 --- /dev/null +++ b/src/windowmanager.h @@ -0,0 +1,22 @@ +#ifndef _WINDOWSMANAGER_H_ +#define _WINDOWSMANAGER_H_ + +namespace WindowManager +{ + +/** + * Make sure a window manager is running. + * If none is running, start openbox. + */ +void ensureRunning(); + +/** + * If we started openbox as the window manager, + * terminate it, otherwise leave the current + * one running. + */ +void stopOwnInstance(); + +} + +#endif |