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/Mono.Texteditor | |
parent | 93811dad408c66abb9a9815235177132d6b78be1 (diff) |
[hdpi] Fix a number of issues
Diffstat (limited to 'main/src/core/Mono.Texteditor')
-rw-r--r-- | main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GtkWorkarounds.cs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GtkWorkarounds.cs b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GtkWorkarounds.cs index c9cfe5fc9d..828daf8b7e 100644 --- a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GtkWorkarounds.cs +++ b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GtkWorkarounds.cs @@ -1200,8 +1200,9 @@ namespace Mono.TextEditor public static double GetScaleFactor () { return GetScaleFactor (Gdk.Screen.Default, 0); - } - + }
+
+ /* public static double GetPixelScale () { if (Platform.IsWindows) @@ -1216,8 +1217,9 @@ namespace Mono.TextEditor return (int)(size * scale); } - - public static Gdk.Pixbuf RenderIcon (this Gtk.IconSet iconset, Gtk.Style style, Gtk.TextDirection direction, Gtk.StateType state, Gtk.IconSize size, Gtk.Widget widget, string detail, double scale) + */
+
+ public static Gdk.Pixbuf RenderIcon (this Gtk.IconSet iconset, Gtk.Style style, Gtk.TextDirection direction, Gtk.StateType state, Gtk.IconSize size, Gtk.Widget widget, string detail, double scale) { if (scale == 1d) return iconset.RenderIcon (style, direction, state, size, widget, detail); |