This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
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
944ca4e316fc143a975497673413bbdd60d31970
openide
/
platform
/
platform-impl
History
Leonid Bushuev
e4ce7d4211
Tree Filter and Speed Search widgets: use colors of the Search panel — specify SpeedSearch colors in themes because otherwise they can masked by "*"
...
GitOrigin-RevId: c87106e049e9579b917bc85d500e4239b3152a9a
2022-10-21 17:38:38 +00:00
..
resources
[bdt] BDIDE-3472 Minimap (feat): Reworked settings UI. #BDIDE-3472 Fixed
2022-10-05 13:43:02 +00:00
src
Tree Filter and Speed Search widgets: use colors of the Search panel — specify SpeedSearch colors in themes because otherwise they can masked by "*"
2022-10-21 17:38:38 +00:00
testSrc/com/intellij
/toolWindow
IDEA-297806 remove toolwindow button from old stripe on restoring default layout
2022-09-05 21:40:12 +00:00
intellij.platform.ide.impl.iml
@JvmDefault
: use
-Xjvm-default=all
2022-10-13 14:13:50 +00:00