diff options
| author | Simon Rettberg | 2019-10-18 19:33:20 +0200 |
|---|---|---|
| committer | Simon Rettberg | 2019-10-18 19:33:20 +0200 |
| commit | 31777a980e0f4b1b258713158524c0cd9a1dc30f (patch) | |
| tree | 459c5bff4bcb2ff5c8c4d7b40f47bbcaf5d59f54 /src/windowmanager.h | |
| parent | Properly handle key press events; prevent double-execution (diff) | |
| download | vmchooser2-31777a980e0f4b1b258713158524c0cd9a1dc30f.tar.gz vmchooser2-31777a980e0f4b1b258713158524c0cd9a1dc30f.tar.xz vmchooser2-31777a980e0f4b1b258713158524c0cd9a1dc30f.zip | |
Use execv() to start selected session
Prevent vmchooser from lingering in the background, like a zombie,
haunting you with invisible windows. Also seems to be notably faster
when launching the openbox session.
Diffstat (limited to 'src/windowmanager.h')
| -rw-r--r-- | src/windowmanager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/windowmanager.h b/src/windowmanager.h index c89f983..26d5606 100644 --- a/src/windowmanager.h +++ b/src/windowmanager.h @@ -15,7 +15,7 @@ void ensureRunning(); * terminate it, otherwise leave the current * one running. */ -void stopOwnInstance(); +void stopOwnInstance(bool waitSync); } |