pierre
|
ec63373072
* better storing of breakpoints
|
27 年之前 |
pierre
|
49def4196d
+ new breakpoint types added
|
27 年之前 |
pierre
|
d4b1c07d9a
+ SourceDir that stores directories for sources that the
|
27 年之前 |
pierre
|
4452c5f39e
* bs_invalid renamed bs_deleted
|
27 年之前 |
peter
|
e4f80a077b
* linux fixes
|
27 年之前 |
pierre
|
b4b1e80dff
* Several things added (I cannot commit them independently !)
|
27 年之前 |
peter
|
124db68c70
+ tools menu
|
27 年之前 |
peter
|
bcecca182a
* 'Use tab characters' now works correctly
|
27 年之前 |
peter
|
ba891366d5
* patches from Gabor
|
27 年之前 |
peter
|
71f87a0367
* fixed readinifile
|
27 年之前 |
peter
|
9788af7f08
+ Added user screen support, display & window
|
27 年之前 |