Merge requests · Eclipse Projects / Eclipse Titan / titan.EclipsePlug-ins

getType() is overridden in the base function class

!1296 · created Jul 12, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 13, 2022
Synching class properties with titan core nr. 3

!1297 · created Jul 13, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 13, 2022
Synching class properties with titan core nr. 4

!1299 · created Jul 13, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 13, 2022
Fixed scoping issue for property functions

!1300 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Synching class properties with titan core nr. 5

!1301 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Fixed semantic tests after error messages change

!1302 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Fixed dynamic matching 'value' reference handling

!1303 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Implemented visitor accept for dynamic match templates and properties

!1306 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Removed obsolete vm argument from regtest launcher

!1307 · created Jul 14, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 14, 2022
Initial implementation of editor breadcrumbs (issue #493)

!1308 · created Jul 15, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 15, 2022
Minor improvement to remove an unneccessary method

!1309 · created Jul 15, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 15, 2022
content assist: function parameters in dot notated chain (issue #477)

!1310 · created Jul 18, 2022 by Arpad Lovassy
- Merged
- Approved
- 0
updated Jul 18, 2022
content assist: fix previous commit (issue #477)

!1312 · created Jul 18, 2022 by Arpad Lovassy
- Merged
- Approved
- 0
updated Jul 18, 2022
Synching class properties with titan core nr. 6

!1313 · created Jul 18, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 18, 2022
Dynamically update breadcrumb when cursor moves (issue #493)

!1314 · created Jul 18, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 18, 2022
Breadcrumb layout updates (#493)

!1315 · created Jul 19, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 19, 2022
Own rendering of breadcrumb buttons (issue #493)

!1316 · created Jul 19, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 19, 2022
Adding a menu item for toggling the breadcrumb (issue #493)

!1317 · created Jul 19, 2022 by Adam Knapp
- Merged
- 0
updated Jul 19, 2022
Breadcrumb can be toggled on/off using toolbar icon (isse #493)

!1318 · created Jul 20, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 20, 2022
Breadcrumb updates (issue #493)

!1319 · created Jul 20, 2022 by Miklos Magyari
- Merged
- Approved
- 0
updated Jul 20, 2022