Skip to content

Instantly share code, notes, and snippets.

@otsaloma

otsaloma/gnome-do-hidpi.patch

Last active January 9, 2017 01:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save otsaloma/9f9d95cf3ab828d0c923e7bab49e0af4 to your computer and use it in GitHub Desktop.
Save otsaloma/9f9d95cf3ab828d0c923e7bab49e0af4 to your computer and use it in GitHub Desktop.
Download ZIP
GNOME Do HiDPI partial alleviation hack
Raw
gnome-do-hidpi.patch
diff -rub gnome-do-0.95.3.orig/Do.Interface.Linux.AnimationBase/src/Do.Interface/Do.Interface.AnimationBase/BezelDrawingArea.cs gnome-do-0.95.3/Do.Interface.Linux.AnimationBase/src/Do.Interface/Do.Interface.AnimationBase/BezelDrawingArea.cs
--- gnome-do-0.95.3.orig/Do.Interface.Linux.AnimationBase/src/Do.Interface/Do.Interface.AnimationBase/BezelDrawingArea.cs 2013-12-28 05:51:22.827272000 +0200
+++ gnome-do-0.95.3/Do.Interface.Linux.AnimationBase/src/Do.Interface/Do.Interface.AnimationBase/BezelDrawingArea.cs 2017-01-07 06:25:03.992928851 +0200
@@ -182,7 +182,7 @@
Gdk.Rectangle drawing_area;
Surface surface;
- double text_box_scale, window_fade = 1, window_scale=1;
+ double text_box_scale, window_fade = 1, window_scale=2;
double[] icon_fade = new double [] {1, 1, 1};
bool[] entry_mode = new bool[3];
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment