<!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 5 Aug 2016, at 19:49, M. wrote:</p> <p dir="auto"></p></div> <div style="white-space:pre-wrap"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div dir="auto">I was trying to find out if there's a way to change the title of open tabs </div><div dir="auto">(currently: full file name) […] </div></blockquote></div> <div style="white-space:normal"> <p dir="auto">This cannot currently be changed. Can you tell me what you would like to change it to?</p> <p dir="auto">I have a note on the TODO about introducing disambiguation when multiple tabs have the same name (e.g. index.html), so if this is basically your goal, it might work better as a native feature (since always showing “disambiguation” would take up a lot of space).</p> <p dir="auto">Btw: You <em>can</em> give documents a custom display name, but currently only via <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">mate</code> when they are opened, but this display name is used beyond just the tab titles, I assume you want to keep the original display name in other locations.</p> </div> </div> </body> </html>