diff options
| -rw-r--r-- | plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/viewsupport/ViewAdaptor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/viewsupport/ViewAdaptor.java b/plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/viewsupport/ViewAdaptor.java index 750f91a87..647ef1659 100644 --- a/plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/viewsupport/ViewAdaptor.java +++ b/plugins/org.eclipse.objectteams.otdt.jdt.ui/src/org/eclipse/objectteams/otdt/internal/ui/viewsupport/ViewAdaptor.java @@ -87,9 +87,9 @@ import base org.eclipse.jdt.ui.ProblemsLabelDecorator; public team class ViewAdaptor extends JFaceDecapsulator { /** new, OT-specific adornment flag for methods. */ - final static int CALLIN = 0x2000; + final static int CALLIN = 0x4000; /** new, OT-specific adornment flag for types. */ - final static int BOUND_ROLE = 0x4000; // must not clash with other bits in JavaElementImageDescriptor + final static int BOUND_ROLE = 0x8000; // must not clash with other bits in JavaElementImageDescriptor // use this instance for lookup which decorations are enabled: IDecoratorManager decoratorMgr = null; |