<div dir="ltr">Hi,<div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 28, 2013 at 11:40 PM, Sven Brauch <span dir="ltr"><<a href="mailto:svenbrauch@googlemail.com" target="_blank">svenbrauch@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">So don't move the bar if tabs are hidden? I'm fine with that, not only<br>
because it's less work but also because I think it makes more sense in<br>
the end (no editor puts status flags to the top)..<br></blockquote><div><br></div><div style>Our editor does put status information on the top already in that mode and I don't see a reason why using the vi mode needs to waste precious vertical space just to be like all others.</div>
<div style><br></div><div style>Anyway, since I don't plan on using the vi-mode for a while I guess I don't care too much.</div><div style><br></div><div style>Andreas</div></div></div></div>