Skip to content
GitLab
  • Explore
  • Sign in
  • Eclipse ProjectsEclipse Projects
  • Eclipse Titan
  • Merge requests
  • Open 3
  • Merged 2,533
  • Closed 186
  • All 2,722
  • Implemented visitor accept for dynamic match templates and properties
    titan.EclipsePlug-ins!1306 · created Jul 14, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 14, 2022
  • Removed obsolete vm argument from regtest launcher
    titan.EclipsePlug-ins!1307 · created Jul 14, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 14, 2022
  • Initial implementation of editor breadcrumbs (issue #493)
    titan.EclipsePlug-ins!1308 · created Jul 15, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 15, 2022
  • Minor improvement to remove an unneccessary method
    titan.EclipsePlug-ins!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)
    titan.EclipsePlug-ins!1310 · created Jul 18, 2022 by Arpad Lovassy
    • Merged
    • Approved
    • 0
    updated Jul 18, 2022
  • content assist: fix previous commit (issue #477)
    titan.EclipsePlug-ins!1312 · created Jul 18, 2022 by Arpad Lovassy
    • Merged
    • Approved
    • 0
    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
    • 0
    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
    • 0
    updated Jul 18, 2022
  • Breadcrumb layout updates (#493)
    titan.EclipsePlug-ins!1315 · created Jul 19, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 19, 2022
  • Own rendering of breadcrumb buttons (issue #493)
    titan.EclipsePlug-ins!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)
    titan.EclipsePlug-ins!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)
    titan.EclipsePlug-ins!1318 · created Jul 20, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 20, 2022
  • Breadcrumb updates (issue #493)
    titan.EclipsePlug-ins!1319 · created Jul 20, 2022 by Miklos Magyari
    • Merged
    • Approved
    • 0
    updated Jul 20, 2022
  • Breadcrumb layout fix (issue #493)
    titan.EclipsePlug-ins!1320 · created Jul 20, 2022 by Adam Knapp
    • Merged
    • 0
    updated Jul 20, 2022
  • Lengthto fix (issue #419)
    titan.EclipsePlug-ins!1321 · created Jul 21, 2022 by Adam Knapp
    • Merged
    • 0
    updated Jul 22, 2022
  • content assist: attribute keyword (issue #477)
    titan.EclipsePlug-ins!1322 · created Jul 26, 2022 by Arpad Lovassy
    • Merged
    • Approved
    • 0
    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
    • 0
    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
    • 0
    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
    • 0
    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
    • 0
    updated Aug 03, 2022
  • Prev
  • 1
  • …
  • 73
  • 74
  • 75
  • 76
  • 77
  • 78
  • 79
  • 80
  • 81
  • …
  • 127
  • Next

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent