diff options
Diffstat (limited to 'gnome-extra/nemo/files/nemo-5.0.3-use-detex.patch')
-rw-r--r-- | gnome-extra/nemo/files/nemo-5.0.3-use-detex.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnome-extra/nemo/files/nemo-5.0.3-use-detex.patch b/gnome-extra/nemo/files/nemo-5.0.3-use-detex.patch new file mode 100644 index 000000000000..ddcdee0a7a02 --- /dev/null +++ b/gnome-extra/nemo/files/nemo-5.0.3-use-detex.patch @@ -0,0 +1,10 @@ +--- a/search-helpers/third-party/untex.nemo_search_helper ++++ b/search-helpers/third-party/untex.nemo_search_helper +@@ -1,5 +1,5 @@ + [Nemo Search Helper] +-TryExec=untex; +-Exec=untex %s ++TryExec=detex; ++Exec=detex %s + MimeType=text/x-tex; + Priority=100 |