Community
Participate
Working Groups
Build Identifier: I20110613-1736 F5 (refresh) do not work in makefile editor when resource is out of sync with filesystem Reproducible: Always Steps to Reproduce: 1. create an empty makefile project 2. create a makefile file, and close it from the editor 3. edit the makefile outside eclipse editor 4. double click on makefile in project explorer, the editor shows: Resource is out of sync with the filesystem: .... Press 'F5' or select File > Refresh to refresh the file. but pressing F5 do not work
Created attachment 199397 [details] proposed patch attached patch that fix the problem
Thanks for the patch. I believe the correct fix should be to let MakefileEditorActionContributor derive from TextEditorActionContributor, like CEditorActionContributor and ASMEditorActionContributor.
Created attachment 199411 [details] proposed patch 2 I fully agree, thanks for the clarification
Thanks, I have committed it on branches master and cdt_8_0.