Adjusted button size

master
enricorov 2021-12-07 18:49:11 +00:00
parent 254ba37a87
commit afa4f1d241
1 changed files with 3 additions and 3 deletions

View File

@ -19,15 +19,15 @@ const font_height = 2;
const global_font = "Dennis8"; const global_font = "Dennis8";
require("FontDennis8").add(Graphics); require("FontDennis8").add(Graphics);
const editable_buf = "hello"; const editable_buf = "Scribble";
const left = 4; const left = 3;
const _screen_mid = g.getWidth() / 2; const _screen_mid = g.getWidth() / 2;
const right = 176 - 4; const right = 176 - 4;
const box_size = { const box_size = {
w: _screen_mid - 6, w: _screen_mid - 6,
h: 45, h: 46,
}; };
const spacing = 4; const spacing = 4;