From a0594d5922fc8b688d0a0b11ac8cc76bbb97002c Mon Sep 17 00:00:00 2001 From: Vadim Lopatin Date: Mon, 12 Sep 2016 12:18:08 +0300 Subject: [PATCH] console mode fixes --- dub.json | 4 ++-- src/dlangide/ui/homescreen.d | 5 +++-- views/res/console_ide_theme_default.xml | 2 +- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/dub.json b/dub.json index 845fe7a..9859491 100644 --- a/dub.json +++ b/dub.json @@ -12,7 +12,7 @@ "stringImportPaths": ["views", "views/res", "views/res/i18n", "views/res/mdpi", "views/res/hdpi"], "dependencies": { - "dlangui": "==0.8.39", + "dlangui": "==0.9.2", "dcd": "~>0.8.0" }, @@ -30,7 +30,7 @@ "dlangui" : "console" } } - ] + ], "versions": ["EmbedStandardResources"] } diff --git a/src/dlangide/ui/homescreen.d b/src/dlangide/ui/homescreen.d index 6781dc1..b2455a3 100644 --- a/src/dlangide/ui/homescreen.d +++ b/src/dlangide/ui/homescreen.d @@ -24,9 +24,10 @@ class HomeScreen : ScrollWidget { _content = new HorizontalLayout("HOME_SCREEN_BODY"); _content.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT); VerticalLayout _column1 = new VerticalLayout(); - _column1.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT).padding(Rect(20, 20, 20, 20)); + int pad = BACKEND_GUI ? 20 : 1; + _column1.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT).padding(Rect(pad, pad, pad, pad)); VerticalLayout _column2 = new VerticalLayout(); - _column2.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT).padding(Rect(20, 20, 20, 20)); + _column2.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT).padding(Rect(pad, pad, pad, pad)); _content.addChild(_column1); _content.addChild(_column2); _column1.addChild((new TextWidget(null, "Dlang IDE"d ~ " " ~ DLANGIDE_VERSION)).fontSize(32).textColor(linkColor)); diff --git a/views/res/console_ide_theme_default.xml b/views/res/console_ide_theme_default.xml index b06fbaa..1c76030 100644 --- a/views/res/console_ide_theme_default.xml +++ b/views/res/console_ide_theme_default.xml @@ -3,7 +3,7 @@ fontFace="Verdana,Arial,DejaVu Sans" fontFamily="SansSerif" > - +