hjk
|
3066162eb4
|
debugger: avoid a few watchmodel rebuilds, also reset location markers properly
|
2010-03-10 17:39:42 +01:00 |
|
hjk
|
dd7abf87a6
|
debugger: empty list of fetched variables at the end of the full cycle
The original logic was faulty but worked better in the presence of the
original "extra layoutChanged()" hack which is replaced now.
|
2010-03-09 17:50:24 +01:00 |
|
hjk
|
a14b1a580c
|
debugger: next attempt at fixing the "can't open items in locals view" issue.
|
2010-03-08 14:46:28 +01:00 |
|
hjk
|
9595504bda
|
Long live the king!
|
2010-03-05 11:28:13 +01:00 |
|
hjk
|
172a1ae492
|
debugger: sanitize breakpoint setting sequences
|
2010-03-03 18:10:21 +01:00 |
|
hjk
|
839ad4dae7
|
debugger: rename some watch-update related variables to prepare a similar
mechanism for breakpoints.
|
2010-03-03 18:10:17 +01:00 |
|
hjk
|
47fa65be6c
|
debugger: some basic support for 'catch catch' and 'catch throw'
Hidden in the Breakpoints context menu.
|
2010-02-11 17:46:05 +01:00 |
|
hjk
|
0bde89eee3
|
debugger: use the direct access withing trkadapter to list threads
|
2010-02-08 13:02:25 +01:00 |
|
hjk
|
42eac3c9a8
|
debugger: handle symlinked source files a bit better
|
2010-02-05 15:33:40 +01:00 |
|
hjk
|
4cba453a1e
|
debugger: let python handle the listing of breakpoints
TODO: only transfer deltas
|
2010-02-05 15:23:44 +01:00 |
|
hjk
|
33695b8155
|
debugger: fix e539f5bda
|
2010-02-05 15:23:44 +01:00 |
|
hjk
|
c64b202a2c
|
debugger: fix unneeded fetchMore() calls by removing a mis-placed beginCycle()
|
2010-02-04 13:28:51 +01:00 |
|
Friedemann Kleint
|
74977e1290
|
Debugger: Fix some code scanning issues.
|
2010-02-03 17:22:44 +01:00 |
|
Oswald Buddenhagen
|
75b42f18d8
|
Merge remote branch 'origin/1.3'
Trailing whitespace removal re-applied manually.
|
2010-01-29 22:50:23 +01:00 |
|
hjk
|
67bf3f2333
|
debugger: fix recent regression (infinite loop on stack-list-locals)
|
2010-01-29 15:48:17 +01:00 |
|
hjk
|
cdae30ccdb
|
debugger: start splitting off python and non-python specific bits
|
2010-01-21 17:19:08 +01:00 |
|