Skip to content
GitLab
Explore
Sign in
minerva
core
Merge requests
Open
0
Merged
11
Closed
1
All
12
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Closed date
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
