Hello,
On Fri, Mar 23, 2018 at 4:53 PM, Pali Rohár wrote:
> On Monday 12 March 2018 09:19:57 Giuseppe Bilotta wrote:
>> On Sat, Mar 10, 2018 at 4:23 PM, Pali Rohár wrote:
>> > Explicitly document and make it clear that those options do not change
>> > DPI of some monitor output. Also state that
On Monday 12 March 2018 09:19:57 Giuseppe Bilotta wrote:
> On Sat, Mar 10, 2018 at 4:23 PM, Pali Rohár wrote:
> > Explicitly document and make it clear that those options do not change
> > DPI of some monitor output. Also state that these options have no useful
> > meaning for multi-monitor config
On Sat, Mar 10, 2018 at 4:23 PM, Pali Rohár wrote:
> Explicitly document and make it clear that those options do not change
> DPI of some monitor output. Also state that these options have no useful
> meaning for multi-monitor configuration.
>
> Signed-off-by: Pali Rohár
FWIW,
Reviewed-by: Gius
Explicitly document and make it clear that those options do not change
DPI of some monitor output. Also state that these options have no useful
meaning for multi-monitor configuration.
Signed-off-by: Pali Rohár
---
man/xrandr.man | 19 +++
1 file changed, 15 insertions(+), 4 dele
