diff options
Diffstat (limited to 'Master/texmf')
-rw-r--r-- | Master/texmf/scripts/texdoc/config.tlu | 1 |
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() |