diff options
Diffstat (limited to 'context/data/scite/context.properties')
| -rw-r--r-- | context/data/scite/context.properties | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/context/data/scite/context.properties b/context/data/scite/context.properties index 3badb06ea..d9db457b9 100644 --- a/context/data/scite/context.properties +++ b/context/data/scite/context.properties @@ -323,11 +323,11 @@ Alt+F12|IDM_STOPEXECUTE|\ if PLAT_WIN font.monospace=font:Dejavu Sans Mono,size:14 - font.errorfont=font:Dejavu Sans Mono,size:7 + font.errorfont=font:Dejavu Sans Mono,size:8 if PLAT_GTK font.monospace=font:!Dejavu Sans Mono,size:14 - font.errorfont=font:!Dejavu Sans Mono,size:7 + font.errorfont=font:!Dejavu Sans Mono,size:8 font.base=$(font.monospace) font.comment=$(font.monospace) @@ -454,7 +454,7 @@ api.*.tex=t:\sources\cont-en-scite.api # Logging -style.errorlist.32=$(font.errorfont) +style.errorlist.32=$(font.errorfont),$(color.back.logpanel) # Default style.errorlist.0=fore:#000000 |