diff --git a/src/dlangui/core/logger.d b/src/dlangui/core/logger.d index f70fd108..22f5dc86 100644 --- a/src/dlangui/core/logger.d +++ b/src/dlangui/core/logger.d @@ -78,8 +78,8 @@ Log.e("exception while reading file", e); */ synchronized class Log { static: - private LogLevel logLevel = LogLevel.Info; - private std.stdio.File logFile; + __gshared private LogLevel logLevel = LogLevel.Info; + __gshared private std.stdio.File logFile; /// Redirects output to stdout void setStdoutLogger() { diff --git a/src/dlangui/widgets/editors.d b/src/dlangui/widgets/editors.d index e4f9b79d..aee68672 100644 --- a/src/dlangui/widgets/editors.d +++ b/src/dlangui/widgets/editors.d @@ -2951,13 +2951,16 @@ class LogWidget : EditBox { _scrollLock = true; enabled = false; fontSize = 15; - fontFace = "Consolas,Lucida Console,Courier New"; + //fontFace = "Consolas,Lucida Console,Courier New"; + fontFace = "Consolas,DejaVuSansMono,Lucida Sans Typewriter,Courier New,Lucida Console"; fontFamily = FontFamily.MonoSpace; + minFontSize(10).maxFontSize(32); // allow font zoom with Ctrl + MouseWheel } /// append lines to the end of text - void appendLines(dstring[] lines...) { - if (lines.length == 0) + void appendText(dstring text) { + if (text.length == 0) return; + dstring[] lines = text.split("\n"); //lines ~= ""d; // append new line after last line content.appendLines(lines); if (_maxLines > 0 && lineCount > _maxLines) { diff --git a/src/dlangui/widgets/srcedit.d b/src/dlangui/widgets/srcedit.d index 0bf381c7..cead2da3 100644 --- a/src/dlangui/widgets/srcedit.d +++ b/src/dlangui/widgets/srcedit.d @@ -25,7 +25,8 @@ import dlangui.widgets.styles; class SourceEdit : EditBox { this(string ID) { super(ID); - fontFace = "Consolas,Lucida Console,Courier New"; + fontFace = "Consolas,DejaVuSansMono,Lucida Sans Typewriter,Courier New,Lucida Console"; + //fontFace = "Consolas,Lucida Console,Courier New"; fontFamily = FontFamily.MonoSpace; fontSize = 17; layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);