Sign in
eclipse
/
objectteams
/
org.eclipse.objectteams
/
01fba80f6af45e3fb28ab718b8e11ab806a55244
commit
01fba80f6af45e3fb28ab718b8e11ab806a55244
[
log
]
author
Stephan Herrmann <stephan.herrmann@berlin.de>
Thu Jul 13 20:39:24 2023 +0200
committer
Stephan Herrmann <stephan.herrmann@berlin.de>
Thu Jul 13 20:39:24 2023 +0200
tree
d26f4e01c712e54db671875c75075f2876078d86
parent
7661e94673f6faecbd940becec6bac91fd08cd32
[
diff
]
Bug 354687 - [ui][impl] reconsider activation strategy for OutlineAdaptor
plugins/org.eclipse.objectteams.otdt.jdt.ui/plugin.xml
[
diff
]
plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/javaeditor/HighlightingAdaptor.java
[
diff
]
2 files changed
tree: d26f4e01c712e54db671875c75075f2876078d86
contrib/
features/
JCL/
maven/
org.eclipse.jdt.core/
org.eclipse.jdt.core.compiler.batch/
org.eclipse.jdt.core.tests.compiler/
org.eclipse.jdt.core.tests.model/
othersrc/
plugins/
releng/
testplugins/
.gitignore
contributing.md
licence.txt
notice.txt