0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Button font size reduced.

Browse source
This commit is contained in:
Jordà Polo 2003-09-23 10:05:53 +00:00
parent 6a685a40b2
commit 768f113544
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/widgets/button.cpp
View file

@ -17,7 +17,7 @@
namespace gui {
const int font_size = 14;
const int font_size = 12;
const int horizontal_padding = 10;
const int vertical_padding = 10;