all repos — tint2 @ b85362b5c7bacb50fbf2152a67f178d9fd84fff2

fork of the tint2 desktop panel for my custom setup - only minimized windows across all desktops for the taskbar

Update doc and changelog
o9000 mrovi9000@gmail.com
commit

b85362b5c7bacb50fbf2152a67f178d9fd84fff2

parent

03675b152d558387079dc1bc8666eb5c924d5b22

4 files changed, 8 insertions(+), 0 deletions(-)

jump to
M ChangeLogChangeLog

@@ -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:
M doc/manual.htmldoc/manual.html

@@ -387,6 +387,7 @@ <li><code>width</code> and <code>height</code> can be specified without units (e.g. <code>123</code>) as pixels, or followed by <code>%</code> as percentages of the monitor size (e.g. <code>50%</code>). Use <code>100%</code> for full monitor width/height.

Example:</li> </ul></li> <li><p><code>scale_relative_to_dpi = integer</code> : 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.</p></li> +<li><p><code>scale_relative_to_screen_height = integer</code> : Similar to <code>scale_relative_to_dpi</code>, except the scaling factor is computed as the ratio between the monitor height and <code>scale_relative_to_screen_height</code>. The effect is cumulative with <code>scale_relative_to_dpi</code>, i.e. if both options are present, the factors are multiplied.</p></li> </ul> <pre class="highlight plaintext"><code># The panel's width is 94% the size of the monitor, the height is 30 pixels: panel_size = 94% 30
M doc/tint2.1doc/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
M doc/tint2.mddoc/tint2.md

@@ -281,6 +281,8 @@ 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