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/userconfig.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/userconfig.h')
-rw-r--r-- | src/userconfig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/userconfig.h b/src/userconfig.h index 213c4c2..4fdf638 100644 --- a/src/userconfig.h +++ b/src/userconfig.h @@ -14,6 +14,7 @@ public: static void setLastTab(int tab); static void setLastNewsTime(uint t); static void setNewsHelpOpen(bool b); + static void sync(); private: UserConfig() {} |