<!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 8 Aug 2016, at 15:11, Bert 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">One last question if you allow: minimumTabSize and maximumTabSize don't behave exactly like I initially thought they would. For example, setting minimumTabSize = maximumTabSize = some_value made me expect </div><div dir="auto">all tabs would now be of identical (horizontal) width, at any time, but that's not the case (long file names still get wider tabs than what is set in maximumTabSize). </div><div dir="auto"> </div><div dir="auto">That's by design I assume, as in: maximumTabSize only kicks in when the tab bar overflows. Did I get that right? </div></blockquote></div> <div style="white-space:normal"> <p dir="auto">Sort of, yes. I now realize that <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">tabItemMaxWidth</code> is a bit of a misnomer because it’s actually <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">tabItemDefaultWidth</code>.</p> <p dir="auto">That is, by default, each tab item will be the width set using this setting. If the tab bar overflows, they’ll be shrunken, but never to less than <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">tabItemMinWidth</code>, however, if one tab item has excess space and another item would be truncated, we redistribute, as we do with everything here in Scandinavia :)</p> </div> </div> </body> </html>