diff options
| author | Dan Gudmundsson <[email protected]> | 2012-11-21 12:57:11 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2013-01-09 11:44:28 +0100 |
| commit | 394b8bf829371b6a6f69854eac35d20ad0232814 (patch) | |
| tree | cec3423c79a4eba81bac5f13dbad87891cf50072 /erts | |
| parent | ae412569d12eff642b5eaaf55915ea8cda9dce0b (diff) | |
| download | otp-394b8bf829371b6a6f69854eac35d20ad0232814.tar.gz otp-394b8bf829371b6a6f69854eac35d20ad0232814.tar.bz2 otp-394b8bf829371b6a6f69854eac35d20ad0232814.zip | |
observer: Fix font sizes
On wxWidgets 2.9 they seem to have fixed font sizes in GC's
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions