diff --git a/ChangeLog b/ChangeLog index 9b3eccc..64ba406 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,9 @@ 2018-01-15 master - Fixes: - Proper fix for issue #688 + - Fix bad word wrapping (issue #693) +- Enhancements: + - Preliminary high DPI support 2017-12-30 16.1 - Fixes: diff --git a/doc/manual.html b/doc/manual.html index 68dc923..07a9147 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -387,6 +387,7 @@ gradient_id_pressed = 2 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.

  • +
  • scale_relative_to_screen_height = integer : Similar to scale_relative_to_dpi, except the scaling factor is computed as the ratio between the monitor height and scale_relative_to_screen_height. The effect is cumulative with scale_relative_to_dpi, i.e. if both options are present, the factors are multiplied.

  • # 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 11a04df..352a269 100644
    --- a/doc/tint2.1
    +++ b/doc/tint2.1
    @@ -345,6 +345,8 @@ 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.
    +.IP \(bu 2
    +\fB\fCscale_relative_to_screen_height = integer\fR : Similar to \fB\fCscale_relative_to_dpi\fR, except the scaling factor is computed as the ratio between the monitor height and \fB\fCscale_relative_to_screen_height\fR\&. The effect is cumulative with \fB\fCscale_relative_to_dpi\fR, i.e. if both options are present, the factors are multiplied.
     .RE
     .PP
     .RS
    diff --git a/doc/tint2.md b/doc/tint2.md
    index 732ae66..5c990b0 100644
    --- a/doc/tint2.md
    +++ b/doc/tint2.md
    @@ -281,6 +281,8 @@ gradient_id_pressed = 2
     
       * `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.
     
    +  * `scale_relative_to_screen_height = integer` : Similar to `scale_relative_to_dpi`, except the scaling factor is computed as the ratio between the monitor height and `scale_relative_to_screen_height`. The effect is cumulative with `scale_relative_to_dpi`, i.e. if both options are present, the factors are multiplied.
    +
     ```
     # The panel's width is 94% the size of the monitor, the height is 30 pixels:
     panel_size = 94% 30