diff options
| author | MaZderMind <git@mazdermind.de> | 2015-11-17 00:46:13 +0100 |
|---|---|---|
| committer | MaZderMind <git@mazdermind.de> | 2015-11-17 00:46:13 +0100 |
| commit | 538de1735f2964dfe3f082675e20a45230a24ddf (patch) | |
| tree | 11e90f561270bef5536755a8c84cd70e47c51f24 /voctogui/default-config.ini | |
| parent | 07f2ab39dc7acd278fa78ab841030207abe2e127 (diff) | |
add an option to use ximagesink instead of xvimagesink for systems, that do not support Xv-extensions (like some VMs)
Diffstat (limited to 'voctogui/default-config.ini')
| -rw-r--r-- | voctogui/default-config.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/voctogui/default-config.ini b/voctogui/default-config.ini index 6258e7c..ee14da0 100644 --- a/voctogui/default-config.ini +++ b/voctogui/default-config.ini @@ -1,6 +1,11 @@ [server] host=localhost +[x11] +; set to false when running inside a VM which +; usually does not support Xv extensions +xv=true + [previews] width=320 ;height=180 |