<!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 10 Nov 2018, at 23:15, Marc Wilson wrote:</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">For me on rc.14, it’s not a no-op, it toggles between the file list and an empty pane with no title. High Sierra 10.13.6 here.</p>
</blockquote></div>
<div style="white-space:normal">
<p dir="auto">That’s a directory which has a repository?</p>
<p dir="auto">And you say no title, can you capture this?</p>
<p dir="auto">I.e. with a folder that has no repository, it should show empty pane but with a header like this:</p>
<p dir="auto"><img src="cid:BCA996BE-A510-4076-BF6C-003AE966070A@textmate.org" alt="" title="PastedImage.png"></p>
</div>
</div>
</body>
</html>