desactiver le clignotement du Caret (Editor, plugin eclipse)

Version imprimable