diff options
| author | Cody Russell <cody@jhu.edu> | 2015-02-13 18:02:15 +0300 |
|---|---|---|
| committer | Cody Russell <cody@jhu.edu> | 2015-02-13 18:02:29 +0300 |
| commit | 8d65787489ff2de5a1cab662746278034c10a430 (patch) | |
| tree | 10590ba7b970f31a77609a247ed9366518f03027 /main/src | |
| parent | 8f7efbb873d5c36d001c031d28816bcaa662e4b0 (diff) | |
[Windows] Fix tab strip sizing for high-resolution screens.
Diffstat (limited to 'main/src')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/TabStrip.cs | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/TabStrip.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/TabStrip.cs index fe61f24f25..568ae6b2d4 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/TabStrip.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.DockNotebook/TabStrip.cs @@ -69,13 +69,14 @@ namespace MonoDevelop.Components.DockNotebook public Button NextButton; public MenuButton DropDownButton; - const int TopBarPadding = 3; - const int BottomBarPadding = 3; - const int LeftRightPadding = 10; - const int TopPadding = 8; - const int BottomPadding = 8; - const int LeftBarPadding = 58; - const int VerticalTextSize = 11; + static readonly double PixelScale = GtkWorkarounds.GetPixelScale (); + static readonly int TopBarPadding = (int)(3 * PixelScale); + static readonly int BottomBarPadding = (int)(3 * PixelScale); + static readonly int LeftRightPadding = (int)(10 * PixelScale); + static readonly int TopPadding = (int)(8 * PixelScale); + static readonly int BottomPadding = (int)(8 * PixelScale); + static readonly int LeftBarPadding = (int)(58 * PixelScale); + static readonly int VerticalTextSize = (int)(11 * PixelScale); const int TabSpacing = -1; const int Radius = 2; const int LeanWidth = 18; |