diff options
| author | Cody Russell <cody@jhu.edu> | 2016-02-02 09:09:06 +0300 |
|---|---|---|
| committer | Cody Russell <cody@jhu.edu> | 2016-04-19 20:51:34 +0300 |
| commit | dc5b2f39fd591535988eaadd707b173bbb2b6f20 (patch) | |
| tree | 67aa7524daa32aadda2162157647a1b0e61c0ccd /main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking | |
| parent | 93811dad408c66abb9a9815235177132d6b78be1 (diff) | |
[hdpi] Fix a number of issues
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs | 4 |
1 files changed, 1 insertions, 3 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 82f1f2b697..94ce5d3b9a 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Docking/DockItemTitleTab.cs @@ -65,8 +65,6 @@ namespace MonoDevelop.Components.Docking static Xwt.Drawing.Image pixAutoHide; static Xwt.Drawing.Image pixDock; - static double PixelScale = GtkWorkarounds.GetPixelScale (); - static readonly Xwt.WidgetSpacing TabPadding; static readonly Xwt.WidgetSpacing TabActivePadding; @@ -164,7 +162,7 @@ namespace MonoDevelop.Components.Docking WidthRequest = r; if (visualStyle != null) - HeightRequest = visualStyle.PadTitleHeight != null ? (int)(visualStyle.PadTitleHeight.Value * PixelScale) : -1; + HeightRequest = visualStyle.PadTitleHeight != null ? (int)(visualStyle.PadTitleHeight.Value) : -1; } public void SetLabel (Gtk.Widget page, Xwt.Drawing.Image icon, string label) |