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

refactor GDB support; update mago-mi

This commit is contained in:
Vadim Lopatin 2016-05-27 16:47:02 +03:00
parent 97a9cd90c8
commit 83c86d70fd
3 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
libs/windows/x86/mago-mi.exe
View File

Binary file not shown.

13
src/ddebug/gdb/gdbinterface.d
View File

@ -319,7 +319,7 @@ class GDBInterface : ConsoleDebuggerInterface, TextCommandTarget {
/// interrupt execution
int _pauseRequestId;
void execPause() {
_pauseRequestId = submitRequest("-exec-interrupt");
_pauseRequestId = submitRequest("-exec-interrupt", true);
}
/// step over
@ -602,9 +602,9 @@ class GDBInterface : ConsoleDebuggerInterface, TextCommandTarget {
}
/// submit simple text command request
int submitRequest(string text) {
int submitRequest(string text, bool forceNoWaitDebuggerReady = false) {
auto request = new GDBRequest(text);
_requests.submit(request);
_requests.submit(request, forceNoWaitDebuggerReady);
return request.id;
}
@ -897,13 +897,14 @@ struct GDBRequestList {
_activeRequests[request.id] = request;
}
int submit(GDBRequest request) {
int submit(GDBRequest request, bool forceNoWaitDebuggerReady = false) {
if (!request.id)
request.id = _target.reserveCommandId();
if (Log.traceEnabled)
Log.v("submitting request " ~ to!string(request.id) ~ " " ~ request.command);
if (_ready || _synchronousMode) {
_ready = _synchronousMode;
if (_ready || _synchronousMode || forceNoWaitDebuggerReady) {
if (!forceNoWaitDebuggerReady)
_ready = _synchronousMode;
executeRequest(request);
} else
_pendingRequests ~= request;

2
src/dlangide.d
View File

@ -68,7 +68,7 @@ extern (C) int UIAppMain(string[] args) {
//}
// create window
Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, 1000, 750);
Window window = Platform.instance.createWindow("Dlang IDE", null, WindowFlag.Resizable, 900, 730);
// set window icon
window.windowIcon = drawableCache.getImage("dlangui-logo1");