mirror of https://github.com/buggins/dlangide.git
parent
9bcec11903
commit
97c3955625
2
dub.json
2
dub.json
|
@ -12,7 +12,7 @@
|
|||
"stringImportPaths": ["views"],
|
||||
|
||||
"dependencies": {
|
||||
"dlangui": "==0.9.135",
|
||||
"dlangui": "==0.9.136",
|
||||
"dsymbol": "~>0.2.9",
|
||||
"dcd": "~>0.9.1"
|
||||
},
|
||||
|
|
|
@ -39,6 +39,8 @@ interface BookmarkListChangeListener {
|
|||
class DSourceEdit : SourceEdit, EditableContentMarksChangeListener {
|
||||
this(string ID) {
|
||||
super(ID);
|
||||
_hscrollbarMode = ScrollBarMode.Auto;
|
||||
_vscrollbarMode = ScrollBarMode.Auto;
|
||||
static if (BACKEND_GUI) {
|
||||
styleId = null;
|
||||
backgroundColor = style.customColor("edit_background");
|
||||
|
|
|
@ -738,7 +738,9 @@ class IDEFrame : AppFrame, ProgramExecutionStatusListener, BreakpointListChangeL
|
|||
|
||||
MenuItem windowItem = new MenuItem(new Action(3, "MENU_WINDOW"c));
|
||||
//windowItem.add(new Action(30, "MENU_WINDOW_PREFERENCES"));
|
||||
windowItem.add(ACTION_WINDOW_CLOSE_DOCUMENT, ACTION_WINDOW_CLOSE_ALL_DOCUMENTS, ACTION_WINDOW_SHOW_HOME_SCREEN, ACTION_WINDOW_SHOW_WORKSPACE_EXPLORER, ACTION_WINDOW_SHOW_LOG_WINDOW);
|
||||
windowItem.add(ACTION_WINDOW_CLOSE_DOCUMENT, ACTION_WINDOW_CLOSE_ALL_DOCUMENTS);
|
||||
windowItem.addSeparator();
|
||||
windowItem.add(ACTION_WINDOW_SHOW_HOME_SCREEN, ACTION_WINDOW_SHOW_WORKSPACE_EXPLORER, ACTION_WINDOW_SHOW_LOG_WINDOW);
|
||||
MenuItem helpItem = new MenuItem(new Action(4, "MENU_HELP"c));
|
||||
helpItem.add(ACTION_HELP_VIEW_HELP, ACTION_HELP_ABOUT, ACTION_HELP_DONATE);
|
||||
mainMenuItems.add(fileItem);
|
||||
|
|
|
@ -50,6 +50,8 @@ class CompilerLogWidget : LogWidget {
|
|||
/// forward to super c'tor
|
||||
this(string ID) {
|
||||
super(ID);
|
||||
_hscrollbarMode = ScrollBarMode.Auto;
|
||||
_vscrollbarMode = ScrollBarMode.Auto;
|
||||
//auto match2 = matchFirst("file.d(123,234): Error: bla bla"d, ctr2);
|
||||
//if (!match2.empty) {
|
||||
// Log.d("found");
|
||||
|
@ -244,6 +246,7 @@ class OutputPanel : DockWindow {
|
|||
|
||||
void activateTerminalTab(bool clear = false) {
|
||||
static if (ENABLE_INTERNAL_TERMINAL) {
|
||||
ensureLogVisible();
|
||||
_tabs.selectTab("TERMINAL");
|
||||
if (clear)
|
||||
_terminalWidget.resetTerminal();
|
||||
|
|
|
@ -1 +1 @@
|
|||
v0.7.81
|
||||
v0.7.84
|
Loading…
Reference in New Issue