button_rescale.py

import re

src = open("keyboard.c", "r")
dst = open("keyboard2.c", "w")

SCALE = 0.80
def sub(m: re.Match):
    x  = int(int(m.group(1)) * SCALE)
    y  = int(int(m.group(2)) * SCALE)
    cx = int(int(m.group(3)) * SCALE)
    cy = int(int(m.group(4)) * SCALE)

    return  f', {x}, {y}, {cx}, {cy},'

for line in src.readlines():
    dst.write(re.sub(", (\d+), (\d+), (\d+), (\d+),", sub, line))