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
17566f8cc7ddffe295badcdb6f64f2e0ea5e74b6
openide
/
platform
/
editor-ui-api
History
Bas Leijdekkers
a197326674
Separate colors for "Highlight occurrences of selected text" (IJPL-45173)
...
GitOrigin-RevId: c8ae757fb9ceb3db0a628e68bee990223e29a800
2024-06-18 19:20:03 +00:00
..
resources
IDEA-343362 Make migrateable light-services non-light
2024-01-18 23:01:33 +00:00
src/com
/intellij
Separate colors for "Highlight occurrences of selected text" (IJPL-45173)
2024-06-18 19:20:03 +00:00
api-dump-unreviewed.txt
Separate colors for "Highlight occurrences of selected text" (IJPL-45173)
2024-06-18 19:20:03 +00:00
intellij.platform.editor.iml
…
