forks
/
dlangui
mirror of https://github.com/buggins/dlangui.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixes

This commit is contained in:
Vadim Lopatin 2015-01-29 15:42:35 +03:00
parent 6c102d0d40
commit 83aec70a41
3 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/dlangui/core/logger.d
View File

@ -78,8 +78,8 @@ Log.e("exception while reading file", e);
*/ */
synchronized class Log { synchronized class Log {
static: static:
private LogLevel logLevel = LogLevel.Info; __gshared private LogLevel logLevel = LogLevel.Info;
private std.stdio.File logFile; __gshared private std.stdio.File logFile;
/// Redirects output to stdout /// Redirects output to stdout
void setStdoutLogger() { void setStdoutLogger() {

9
src/dlangui/widgets/editors.d
View File

@ -2951,13 +2951,16 @@ class LogWidget : EditBox {
_scrollLock = true; _scrollLock = true;
enabled = false; enabled = false;
fontSize = 15; 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; fontFamily = FontFamily.MonoSpace;
minFontSize(10).maxFontSize(32); // allow font zoom with Ctrl + MouseWheel
} }
/// append lines to the end of text /// append lines to the end of text
void appendLines(dstring[] lines...) { void appendText(dstring text) {
if (lines.length == 0) if (text.length == 0)
return; return;
dstring[] lines = text.split("\n");
//lines ~= ""d; // append new line after last line //lines ~= ""d; // append new line after last line
content.appendLines(lines); content.appendLines(lines);
if (_maxLines > 0 && lineCount > _maxLines) { if (_maxLines > 0 && lineCount > _maxLines) {

3
src/dlangui/widgets/srcedit.d
View File

@ -25,7 +25,8 @@ import dlangui.widgets.styles;
class SourceEdit : EditBox { class SourceEdit : EditBox {
this(string ID) { this(string ID) {
super(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; fontFamily = FontFamily.MonoSpace;
fontSize = 17; fontSize = 17;
layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT); layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);