diff options
| author | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2017-12-27 11:46:55 +0100 |
|---|---|---|
| committer | Jean-Philippe Bruyère <jp_bruyere@hotmail.com> | 2017-12-27 11:46:55 +0100 |
| commit | 45a7a8a40da1231f00c2fcd15b370dabe71e3f8e (patch) | |
| tree | 2e28725e931c60a937c6d386cde6ab5dd33890d7 /Default.style | |
| parent | ab207070b2755d07f89106611cf34da34970e529 (diff) | |
replace Debug.WriteLine with consoleMonoEmbed
Diffstat (limited to 'Default.style')
| -rw-r--r-- | Default.style | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Default.style b/Default.style index 0db6a08a..8deb2580 100644 --- a/Default.style +++ b/Default.style @@ -107,8 +107,8 @@ Scroller { } Icon { Margin=1; - Width=12; - Height=12; + Width=16; + Height=16; } Control { Margin=0; |