mirror of
https://codeberg.org/emersion/gamja
synced 2025-03-13 15:58:40 +01:00

Without the greedy flag on the regexp, String.replace will just replace the first match. While at it, also make sure to convert to a string when formatting tag values. This allows tag values to be e.g. numbers.