diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2016-06-27 23:16:17 +0300 |
---|---|---|
committer | Lluis Sanchez <lluis@xamarin.com> | 2016-06-27 23:16:17 +0300 |
commit | 3d7130be96c3bf8a84cd6092b1a26e055707d630 (patch) | |
tree | 97ee34bf667ee3e63e5ac554d7c7dcdb64cc1a1a /main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking | |
parent | c7606a74ffebf93da4967b053f154a37cf8a5ca7 (diff) | |
parent | 8c955ef9100378f8d2a5d7a83031c93aa43dec35 (diff) |
Merge remote-tracking branch 'origin/master' into run-configurations
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking')
-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; |