#! /bin/bash

echo "Configuring MapTool"

# Scale up the GUI by 2 times for HiDPI screens
if [ -f "${XDG_CONFIG_HOME:-$HOME/.config}/x11/.DPI" ]; then
    DPI="$(cat "${XDG_CONFIG_HOME:-$HOME/.config}/x11/.DPI")"
    SCALE="$(((DPI+48)/96))"
    doas -A sed -i "/\[JavaOptions\]/a -Dsun.java2d.uiScale=$SCALE" /opt/maptool/lib/app/MapTool.cfg
fi