diff options
| author | Mike Krüger <mkrueger@xamarin.com> | 2013-03-03 02:31:48 +0400 |
|---|---|---|
| committer | Mike Krüger <mkrueger@xamarin.com> | 2013-03-03 02:31:48 +0400 |
| commit | c41832cd05d3fecd9367aae75b3f8f1c648a1193 (patch) | |
| tree | 0b4507009dde4f6a1b73af8cb6215e25083802c3 /configure | |
| parent | 42f884a1fee91b404dff5a32190cae4ba07e2b19 (diff) | |
[TextEditor] Gutter font now takes the specified weight & style from
the color schemes.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions