<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8"> </head> <body> <div style="font-family:sans-serif"><div style="white-space:normal"> <p dir="auto">On 29 Nov 2016, at 10:10, Ronald Wampler wrote:</p> <p dir="auto"></p></div> <div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><p dir="auto">Allan, I was thinking of letting `mate` set the virtual path (i.e.,<br> real-path, which seems like misnomer) is this case.<br> I can submit a PR shortly unless you prefer another solution.</p> </blockquote></div> <div style="white-space:normal"> <p dir="auto">Please do, I have not looked into the issue (and was not aware of it).</p> <p dir="auto">But I am not sure I follow regarding <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">virtualPath</code>, this should only be set by <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">rmate</code> and is the path on the server (from where the misnomer comes, as from the server’s POV it is the “real path”), so using that in the Open Recent menu would not work (documents with a <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">virtualPath</code> should not do any recent tracking).</p> </div> </div> </body> </html>