MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
8dc99d8df125014d5f8ad4fda34379ab24dbe918
openide/bin
History
Artem Bochkarev 1d4e3aa898 IDEA-319117 call menuNeedsUpdate from menuWillOpen if necessary 
and also remove unnecessary fillMenu() from menuWillOpen

GitOrigin-RevId: f7bf20c03fb629c08f66da2d21eb200cfdf728ad
2023-05-01 17:22:08 +00:00
..
linux
…
mac
IDEA-319117 call menuNeedsUpdate from menuWillOpen if necessary
2023-05-01 17:22:08 +00:00
win
…
idea.properties
…