#!/bin/sh
# stdin: default config
# stdout: modified config

# Double Windows Scaling Factor
sed 's|<property name="WindowScalingFactor" type="int" value="1"/>|<property name="WindowScalingFactor" type="int" value="2"/>|'