fixed createHighlightOverlay
improved CodePrinter.issetExtension