{"issue":{"state":"closed","created_at":"2011-11-10T18:05:19Z","updated_at":"2011-12-15T05:37:55Z","user":{"gravatar_id":"c72fd2a3fdf620ce933d9d738f2f36e0","id":776804,"url":"https://api.github.com/users/LupinIII","avatar_url":"https://secure.gravatar.com/avatar/c72fd2a3fdf620ce933d9d738f2f36e0?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png","login":"LupinIII"},"comments":10,"body":"Since some time (a week or so, has to be since the update to version 2011110101; I can't say for sure since FF somehow started to auto update my extensions although I explicitly told it not to, to exactly prevent cases like this, where I can't tell what causes weird behaviour) whenever I restart FF (7.0.1 and 8.0) the vertical tabbar has a width of 105 pixels. I can set \"extensions.treestyletab.tabbar.width\" to 200 (which is my preference for the with) in about:config and the bar gets resized accordingly. After a restart the rendered width is at 105 again, while about:config still shows \"200\" for the width. If I restart at this point without changing anything the rendered width will stay the same (105) and about:config will then also show 105. Unfortunately I currently can't get Chrombug to work, which I normally use to check where styles for the UI come from.\r\nThe width of the bar is not locked and autohide is disabled (although changing these options will not change the \"bug\").\r\n\r\nOT: btw. many thanks again for this great extension!! I couldn't really live (browse) without it!","assignee":null,"id":2200850,"labels":[{"color":"f0d687","name":"maybe fixed","url":"https://api.github.com/repos/piroor/treestyletab/labels/maybe+fixed"}],"pull_request":{"patch_url":null,"html_url":null,"diff_url":null},"number":177,"title":"Vertical tabbar width not applied correctly at startup","html_url":"https://github.com/piroor/treestyletab/issues/177","closed_at":"2011-12-15T05:37:55Z","milestone":null,"url":"https://api.github.com/repos/piroor/treestyletab/issues/177"},"action":"closed"}