Merge requests · Eclipse Titan

Implemented visitor accept for dynamic match templates and properties

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

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

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

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

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

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

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

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

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

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

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

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

titan.EclipsePlug-ins!1319 · created Jul 20, 2022 by Miklos Magyari
- Merged
- Approved
updated Jul 20, 2022
Breadcrumb layout fix (issue #493)

titan.EclipsePlug-ins!1320 · created Jul 20, 2022 by Adam Knapp
- Merged
updated Jul 20, 2022
Lengthto fix (issue #419)

titan.EclipsePlug-ins!1321 · created Jul 21, 2022 by Adam Knapp
- Merged
updated Jul 22, 2022
content assist: attribute keyword (issue #477)

titan.EclipsePlug-ins!1322 · created Jul 26, 2022 by Arpad Lovassy
- Merged
- Approved
updated Jul 27, 2022
Update of JQueryUI liberary from to version 1.13

titan.Libraries.Web_GUI!1 · created Jul 27, 2022 by Tamas Kis
- Merged
- Approved
updated Jul 27, 2022
content assist: attribute modifier, added @ as prefix char (issue #477)

titan.EclipsePlug-ins!1323 · created Jul 28, 2022 by Arpad Lovassy
- Merged
- Approved
updated Jul 28, 2022
content assist: extension attribute: keywords, prototype setting, printing setting (issue #477)

titan.EclipsePlug-ins!1324 · created Jul 29, 2022 by Arpad Lovassy
- Merged
- Approved
updated Jul 29, 2022
content assist: extension attribute: encode/decode type (issue #477)

titan.EclipsePlug-ins!1325 · created Aug 02, 2022 by Arpad Lovassy
- Merged
- Approved
updated Aug 03, 2022