summaryrefslogtreecommitdiff
path: root/Master/texmf/scripts/texdoc/config.tlu
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/scripts/texdoc/config.tlu')
-rw-r--r--Master/texmf/scripts/texdoc/config.tlu1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texdoc/config.tlu b/Master/texmf/scripts/texdoc/config.tlu
index 6a931673fa2..dac13ef49a4 100644
--- a/Master/texmf/scripts/texdoc/config.tlu
+++ b/Master/texmf/scripts/texdoc/config.tlu
@@ -381,6 +381,7 @@ function desktop_environment_viewer()
if os.getenv('GNOME_DESKTOP_SESSION_ID') then -- gnome
return '(gnome-open %s) &'
end
+ if not is_in_path('xprop') then return end
local xprop_fh = io.popen('xprop -root _DT_SAVE_MODE')
local xprop_out = xprop_fh:read('*line')
xprop_fh:close()