diff --git a/doc/manual.html b/doc/manual.html index 7db2afd..68dc923 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -386,6 +386,7 @@ gradient_id_pressed = 2
  • width and height can be specified without units (e.g. 123) as pixels, or followed by % as percentages of the monitor size (e.g. 50%). Use 100% for full monitor width/height. Example:
  • +
  • scale_relative_to_dpi = integer : If set to a non-zero value, HiDPI scaling is enabled. Each panel is visible on a different monitor. Thus each panel has a specific scaling factor. The scaling factor is computed as the ratio between the monitor DPI (obtained from the dimensions in pixels and millimeters from RandR) and a configured reference DPI - this is the DPI for which exising user configs looked normal, for backward compatibility.

  • # The panel's width is 94% the size of the monitor, the height is 30 pixels:
     panel_size = 94% 30
    diff --git a/doc/tint2.1 b/doc/tint2.1
    index 466ac2f..11a04df 100644
    --- a/doc/tint2.1
    +++ b/doc/tint2.1
    @@ -343,6 +343,8 @@ Use \fB\fCpanel_monitor = all\fR to get a separate panel per monitor
     \fB\fCwidth\fR and \fB\fCheight\fR can be specified without units (e.g. \fB\fC123\fR) as pixels, or followed by \fB\fC%\fR as percentages of the monitor size (e.g. \fB\fC50%\fR). Use \fB\fC100%\fR for full monitor width/height.
     Example:
     .RE
    +.IP \(bu 2
    +\fB\fCscale_relative_to_dpi = integer\fR : If set to a non\-zero value, HiDPI scaling is enabled. Each panel is visible on a different monitor. Thus each panel has a specific scaling factor. The scaling factor is computed as the ratio between the monitor DPI (obtained from the dimensions in pixels and millimeters from RandR) and a configured reference DPI \- this is the DPI for which exising user configs looked normal, for backward compatibility.
     .RE
     .PP
     .RS
    diff --git a/doc/tint2.md b/doc/tint2.md
    index 4a7fc36..732ae66 100644
    --- a/doc/tint2.md
    +++ b/doc/tint2.md
    @@ -279,6 +279,8 @@ gradient_id_pressed = 2
         * `width` and `height` can be specified without units (e.g. `123`) as pixels, or followed by `%` as percentages of the monitor size (e.g. `50%`). Use `100%` for full monitor width/height.
           Example:
     
    +  * `scale_relative_to_dpi = integer` : If set to a non-zero value, HiDPI scaling is enabled. Each panel is visible on a different monitor. Thus each panel has a specific scaling factor. The scaling factor is computed as the ratio between the monitor DPI (obtained from the dimensions in pixels and millimeters from RandR) and a configured reference DPI - this is the DPI for which exising user configs looked normal, for backward compatibility.
    +
     ```
     # The panel's width is 94% the size of the monitor, the height is 30 pixels:
     panel_size = 94% 30