9 lines
318 B
Plaintext
9 lines
318 B
Plaintext
|
#! /bin/bash
|
||
|
|
|
||
|
|
# 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))"
|
||
|
|
sudo -A sed -i "/\[JavaOptions\]/a -Dsun.java2d.uiScale=$SCALE" /opt/maptool/lib/app/MapTool.cfg
|
||
|
|
fi
|