Released 2020-04-15
0037149: [IDE] popup menu editor lost the elements on klick (Michl)
1 issue View Issues