diff options
-rw-r--r-- | voctogui/default-config.ini | 5 | ||||
-rw-r--r-- | voctogui/lib/videodisplay.py | 14 |
2 files changed, 16 insertions, 3 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 diff --git a/voctogui/lib/videodisplay.py b/voctogui/lib/videodisplay.py index 4133d5a..4195d70 100644 --- a/voctogui/lib/videodisplay.py +++ b/voctogui/lib/videodisplay.py @@ -58,9 +58,17 @@ class VideoDisplay(object): """ # Video Display - pipeline += """ - xvimagesink name=v - """ + if Config.getboolean('x11', 'xv'): + pipeline += """ + xvimagesink name=v + """ + else: + pipeline += """ + videoconvert ! + videoscale ! + ximagesink name=v + """ + # If an Audio-Path is required, add an Audio-Path through a level-Element |