On Wed, 6 Jun 2018, Sven Schreiber wrote:
Hi,
in recent snapshots I'm seeing the phenomenon that the full paths of the file
(instead of just the names) are displayed, e.g. in the tabbed script editor.
Pretty sure it's new, and not sure it's intended.
Yep, not intended. I think I see why it was happening and if my
diagnosis is right the issue should now be fixed in git and snapshots.
Allin