1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00

Bug 351671 - F5 (refresh) do not work in makefile editor when resource is out of sync with filesystem

This commit is contained in:
Gaetano Santoro 2011-07-11 15:21:52 +02:00 committed by Anton Leherbauer
parent c0b8d346ab
commit d3c33d0ab0

View file

@ -1,5 +1,5 @@
/*******************************************************************************
* Copyright (c) 2000, 2008 QNX Software Systems and others.
* Copyright (c) 2000, 2011 QNX Software Systems and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@ -19,14 +19,14 @@ import org.eclipse.jface.action.Separator;
import org.eclipse.ui.IActionBars;
import org.eclipse.ui.IEditorPart;
import org.eclipse.ui.IWorkbenchActionConstants;
import org.eclipse.ui.texteditor.BasicTextEditorActionContributor;
import org.eclipse.ui.editors.text.TextEditorActionContributor;
import org.eclipse.ui.texteditor.ITextEditor;
import org.eclipse.ui.texteditor.ITextEditorActionDefinitionIds;
import org.eclipse.ui.texteditor.RetargetTextEditorAction;
/**
*/
public class MakefileEditorActionContributor extends BasicTextEditorActionContributor {
public class MakefileEditorActionContributor extends TextEditorActionContributor {
private MakefileEditorTogglePresentationAction fTogglePresentation;
private OpenDeclarationAction fOpenDeclarationAction;