Viewing page source does not work about org.gnome.epiphany

[mcatanzaro]

The problem is that the portal recognizes it's html and so shows you web browsers, but it's not going to do what you want unless you open it in a text editor like gedit instead. My first instinct was to remove the .html file extension, but that will probably fail because it's probably going to use shared-mime-info to detect the file type, so I expect it will actually open the file and notice that it's HTML regardless.

Even just getting to the point that the portal opens at all was altogether way too much effort.

But I'm testing it now, and I only get a blank empty file even when I do open it in gedit. Are you able to reproduce that too? Maybe something changed in xdg-desktop-portal since I hooked this up.

[mcatanzaro]

What we really need is a way to override the MIME type, so we can tell the portal "hey! open this up in a text/plain handler!"

[AsciiWolf]

@mcatanzaro >Are you able to reproduce that too?

Nope, but I got a "file not found" message once. I am using xdg-desktop-portal(-gtk) 0.10 on Ubuntu 18.04.

[mcatanzaro]

I've restored in-browser view source mode in https://bugzilla.gnome.org/show_bug.cgi?id=738475. Should be fixed in 3.29.2-27. Closing.

[siggi2git]

that's all ?