[MIN] update regex.jj
[ADD] GUI: Better support for high-resolution displays