From 6184a0d5c97990be94b35404b3109f3dc14d2970 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 17 Aug 2015 06:05:58 -0600 Subject: [PATCH] clarify PLT_DISPLAY_BACKING_SCALE interaction with GTK+ 2/3 --- gui-doc/scribblings/gui/win-overview.scrbl | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/gui-doc/scribblings/gui/win-overview.scrbl b/gui-doc/scribblings/gui/win-overview.scrbl index f8c9e5c0..f1292e72 100644 --- a/gui-doc/scribblings/gui/win-overview.scrbl +++ b/gui-doc/scribblings/gui/win-overview.scrbl @@ -1025,9 +1025,12 @@ window has just been set. A ``point'' for font sizing is equivalent to @racket[(/ 96 72)] drawing units. On Unix, if the @indexed-envvar{PLT_DISPLAY_BACKING_SCALE} environment -variable is set to a positive real number, then it overrides any -system setting for @racketmodname[racket/gui] scaling. Menus, control -labels using the default label font, and non-label control parts will -not use the specified scale, however. +variable is set to a positive real number, then it overrides certain +system settings for @racketmodname[racket/gui] scaling. With GTK+ 3 +(see @secref["libs"]), the environment variable overrides system-wide +text scaling; with GTK+ 2, the environment variable overrides both +text and control scaling. Menus, control labels using the default +label font, and non-label control parts will not use a scale specified +through @envvar{PLT_DISPLAY_BACKING_SCALE}, however. @history[#:changed "1.14" @elem{Added support for scaling on Unix.}]