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

high DPI support

This commit is contained in:
Vadim Lopatin 2015-03-12 10:05:36 +03:00
parent b435b859ff
commit d014f7b0ee
4 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/dlangide.d
View File

@ -57,7 +57,7 @@ extern (C) int UIAppMain(string[] args) {
} }
// create window // create window
Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, 900, 700); Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, pointsToPixels(700), pointsToPixels(470));
IDEFrame frame = new IDEFrame(window); IDEFrame frame = new IDEFrame(window);

12
src/dlangide/ui/outputpanel.d
View File

@ -134,18 +134,19 @@ class OutputPanel : DockWindow {
_showCloseButton = false; _showCloseButton = false;
dockAlignment = DockAlignment.Bottom; dockAlignment = DockAlignment.Bottom;
super(id); super(id);
} }
override protected Widget createBodyWidget() { override protected Widget createBodyWidget() {
_tabs = new TabWidget("OutputPanelTabs"); _tabs = new TabWidget("OutputPanelTabs", Align.Bottom);
_tabs.setStyles(STYLE_DOCK_HOST_BODY, STYLE_TAB_UP_DARK, STYLE_TAB_UP_BUTTON_DARK, STYLE_TAB_UP_BUTTON_DARK_TEXT); //_tabs.setStyles(STYLE_DOCK_HOST_BODY, STYLE_TAB_UP_DARK, STYLE_TAB_UP_BUTTON_DARK, STYLE_TAB_UP_BUTTON_DARK_TEXT);
_tabs.setStyles(null, STYLE_TAB_DOWN_DARK, STYLE_TAB_DOWN_BUTTON_DARK, STYLE_TAB_UP_BUTTON_DARK_TEXT);
_logWidget = new CompilerLogWidget("logwidget"); _logWidget = new CompilerLogWidget("logwidget");
_logWidget.readOnly = true; _logWidget.readOnly = true;
_logWidget.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT); _logWidget.layoutWidth(FILL_PARENT).layoutHeight(FILL_PARENT);
_logWidget.compilerLogIssueClickHandler = &onIssueClick; _logWidget.compilerLogIssueClickHandler = &onIssueClick;
//_tabs.tabHost.styleId = STYLE_DOCK_WINDOW_BODY;
_tabs.addTab(_logWidget, "Compiler Log"d); _tabs.addTab(_logWidget, "Compiler Log"d);
_tabs.selectTab("logwidget"); _tabs.selectTab("logwidget");
@ -154,9 +155,10 @@ class OutputPanel : DockWindow {
override protected void init() { override protected void init() {
styleId = STYLE_DOCK_WINDOW; //styleId = STYLE_DOCK_WINDOW;
styleId = null;
_bodyWidget = createBodyWidget(); _bodyWidget = createBodyWidget();
_bodyWidget.styleId = STYLE_DOCK_WINDOW_BODY; //_bodyWidget.styleId = STYLE_DOCK_WINDOW_BODY;
addChild(_bodyWidget); addChild(_bodyWidget);
} }

1
views/res/ide_theme_dark.xml
View File

@ -1,6 +1,5 @@
<?xml version="1.0" encoding="utf-8"?> <?xml version="1.0" encoding="utf-8"?>
<theme id="ide_theme_dark" parent="theme_dark" <theme id="ide_theme_dark" parent="theme_dark"
fontSize="12"
fontFace="Verdana,Arial,DejaVu Sans" fontFace="Verdana,Arial,DejaVu Sans"
fontFamily="SansSerif" fontFamily="SansSerif"
textColor="#E0E0E0" textColor="#E0E0E0"

1
views/res/ide_theme_default.xml
View File

@ -1,6 +1,5 @@
<?xml version="1.0" encoding="utf-8"?> <?xml version="1.0" encoding="utf-8"?>
<theme id="ide_theme_default" parent="theme_default" <theme id="ide_theme_default" parent="theme_default"
fontSize="12"
fontFace="Verdana,Arial,DejaVu Sans" fontFace="Verdana,Arial,DejaVu Sans"
fontFamily="SansSerif" fontFamily="SansSerif"
> >