Skip to content
GitLab
  • Explore
  • Sign in
  • minervaminerva
  • core
  • Merge requests
  • Open 0
  • Merged 11
  • Closed 1
  • All 12

  • Subscribe to RSS feed
  • Draft: Resolve "allow plugin to add data overlay"
    !1428 · created Feb 01, 2022 by Piotr Gawron   v16.1.0~beta.0
    Plugin API enhancement
    • Closed
    • 0
    updated Feb 01, 2022
  • Resolve "allow to fetch modifier type by API"
    !1329 · created Aug 12, 2021 by Piotr Gawron   v16.1.0~beta.0
    Plugin API Rest API enhancement
    • Merged
    • 0
    updated Aug 12, 2021
  • Resolve "allow to remove plugin data"
    !1193 · created Jun 24, 2020 by Piotr Gawron   v15.1.0~beta.0
    Plugin API enhancement
    • Merged
    • 0
    updated Jun 24, 2020
  • Resolve "Can't access generated overlays"
    !1183 · created Jun 18, 2020 by Piotr Gawron   v15.1.0~beta.0
    Plugin API enhancement
    • Merged
    • 0
    updated Jun 18, 2020
  • Resolve "handle plugin listener errors"
    !733 · created Apr 04, 2019 by Piotr Gawron   v13.1.0~beta.0
    Plugin API enhancement
    • Merged
    • 0
    updated Apr 04, 2019
  • current zoom level is used when no zoom level is provided
    !691 · created Mar 08, 2019 by Piotr Gawron   v13.1.0~beta.0
    Plugin API
    • Merged
    • 0
    updated Mar 08, 2019
  • Resolve "plugin functionalities"
    !690 · created Mar 08, 2019 by Piotr Gawron   v13.1.0~beta.0
    Plugin API
    • Merged
    • 0
    updated Mar 08, 2019
  • second call on remove all listeners doesn't show a warning
    !670 · created Feb 26, 2019 by Piotr Gawron   v12.2.0~beta.2   devel_12.2.x
    BUG Plugin API
    • Merged
    • 0
    updated Feb 26, 2019
  • Resolve "PLUGINS in the admin panel - review"
    !623 · created Feb 07, 2019 by Piotr Gawron   v12.2.0~beta.1   devel_12.2.x
    BUG Plugin API graphics; css; layout
    • Merged
    • 0
    updated Feb 07, 2019
  • Resolve "allow showing and hiding data overlays in plugin API"
    !566 · created Jan 08, 2019 by Piotr Gawron   v12.2.0~beta.0
    Plugin API enhancement
    • Merged
    • 0
    updated Jan 10, 2019
  • Resolve "Allow to create exported file with part of the map"
    !458 · created Oct 11, 2018 by Piotr Gawron   v12.2.0~beta.0
    Plugin API Rest API
    • Merged
    • 0
    updated Oct 11, 2018
  • Resolve "plugin API should allow to store user data"
    !221 · created Mar 14, 2018 by Piotr Gawron   v12.0.0
    Plugin API Rest API enhancement
    • Merged
    • 0
    updated Mar 15, 2018