Searched refs:IMG_CORRECTION_REMOVE (Results 1 – 6 of 6) sorted by relevance
766 public static final String IMG_CORRECTION_REMOVE = NAME_PREFIX field in PHPUiImages778 createManaged(T_OBJ, IMG_CORRECTION_REMOVE); in createManaged() argument
560 …public static final String IMG_CORRECTION_REMOVE= NAME_PREFIX + "remove_correction.gif"; //$NON-NL… field in JavaPluginImages572 createManagedFromKey(T_OBJ, IMG_CORRECTION_REMOVE); in createManagedFromKey() argument
438 Image image= JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_REMOVE); in addIncompatibleThrowsProposals()
1579 Image image= JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_REMOVE); in doMoreParameters()1645 Image image= JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_REMOVE); in doMoreArguments()
772 Image image= JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_REMOVE); in getRemoveExtraParenthesesProposals()
1469 imageKey= JavaPluginImages.IMG_CORRECTION_REMOVE; in getFixParenthesesInLambdaExpression()