diff options
author | Vsevolod Kukol <sevoku@xamarin.com> | 2016-06-14 10:46:08 +0300 |
---|---|---|
committer | Vsevolod Kukol <sevoku@xamarin.com> | 2016-06-14 10:46:08 +0300 |
commit | 7766131a7a4efdbcbcc61cd2337d89def2f82a9b (patch) | |
tree | 26e7dee754d2611da995e6fef02a6013bad4e075 /main/src/core/MonoDevelop.Ide | |
parent | 7b5f8e0d41c3ecc2c3822d0126a68101cc61e34b (diff) |
[Ide] Fix increasing Dock Tab sizes
Diffstat (limited to 'main/src/core/MonoDevelop.Ide')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs index 602df87d3f..950025348d 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs @@ -157,7 +157,10 @@ namespace MonoDevelop.Components.Docking labelWidget.ModifyText (StateType.Normal, (active ? visualStyle.PadTitleLabelColor.Value : visualStyle.InactivePadTitleLabelColor.Value).ToGdkColor ()); } + var r = WidthRequest; + WidthRequest = -1; labelWidth = SizeRequest ().Width + 1; + WidthRequest = r; if (visualStyle != null) HeightRequest = visualStyle.PadTitleHeight != null ? (int)(visualStyle.PadTitleHeight.Value) : -1; |