MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-14 18:05:27 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
f7be75031059f1759dfaf6204b2a21327aa8b4b9
openide/platform/progress
History
Elena Shaverdova 6091947794 [Progresses] API for IJPL-180131 Allow to filter certain progresses from status bar widget but show their number 
(cherry picked from commit 4f0522712dab75f458545051c0a8b1f065a6ab76)

IJ-CR-164267

GitOrigin-RevId: cf7c2d2c181c7fca00d766c6362d23585113b194
2025-05-30 16:48:58 +00:00
..
backend
…
shared
[Progresses] API for IJPL-180131 Allow to filter certain progresses from status bar widget but show their number
2025-05-30 16:48:58 +00:00