[RFC][PATCH] Change to GuiView::goToFileRow

[Enrico Forestieri]

On Sat, Feb 15, 2020 at 02:41:19PM +0100, Stephan Witt wrote:
> 
> I came up with another path. IMHO easier to understand. 
> And it works with all variants of Qt and input.

Unfortunately, it confuses me more than the previous one.
Please, can you apply the attached debug patch and report the
results you obtain with both Qt 5.9 and 5.12?

-- 
Enrico
-------------- next part --------------
diff --git a/src/frontends/qt/GuiView.cpp b/src/frontends/qt/GuiView.cpp
index eec1b7ae6e..36b06130c7 100644
--- a/src/frontends/qt/GuiView.cpp
+++ b/src/frontends/qt/GuiView.cpp
@@ -3678,6 +3678,10 @@ bool GuiView::goToFileRow(string const & argument)
 	Buffer * buf = 0;
 	string const abstmp = package().temp_dir().absFileName();
 	string const realtmp = package().temp_dir().realPath();
+	lyxerr << "Qt version: " << qVersion() << endl;
+	lyxerr << "file_name: " << file_name << endl;
+	lyxerr << "abstmp:    " << abstmp << endl;
+	lyxerr << "realtmp:   " << realtmp << endl;
 	// We have to use os::path_prefix_is() here, instead of
 	// simply prefixIs(), because the file name comes from
 	// an external application and may need case adjustment.